Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Rosetta-lang
open-in-new
<p>Within <a href="/facts/Computing/Kghtm9fX">computing</a>, the Rosetta <a href="/facts/System/hmqQ4ASX">system</a>-level <a href="/facts/Specification_language/vqNInfdh">specification language</a> is a design language for complex, <a href="/facts/Heterogeneous_computing/FYkECQ75">heterogeneous systems</a>. Specific language design objectives include: </p> <ul><li><a href="/facts/Constraint_programming/rgkCK5bD">Constraint</a> representation</li> <li>Heterogeneous system representation and specification <a href="/facts/Composability/zpbfnTR9">composability</a></li> <li>Well-defined <a href="/facts/Semantics_(computer_science)/JEP1zyBv">formal semantics</a> and support for formal analysis</li> <li><a href="/facts/Scalability/jh7JomPa">Scalability</a> to large designs</li></ul> <p>Rosetta was undergoing <a href="/facts/Standardization/vS9AhNMS">standardization</a> at various times. </p>