About: Rosetta-lang

An Entity of Type: language, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Within computing, the Rosetta system-level specification language is a design language for complex, heterogeneous systems. Specific language design objectives include: * Constraint representation * Heterogeneous system representation and specification composability * Well-defined formal semantics and support for formal analysis * Scalability to large designs Rosetta was undergoing standardization at various times.

Property	Value
dbo:abstract	Within computing, the Rosetta system-level specification language is a design language for complex, heterogeneous systems. Specific language design objectives include: * Constraint representation * Heterogeneous system representation and specification composability * Well-defined formal semantics and support for formal analysis * Scalability to large designs Rosetta was undergoing standardization at various times. (en)
dbo:wikiPageExternalLink	http://www.rosetta-lang.org
dbo:wikiPageID	14865628 (xsd:integer)
dbo:wikiPageLength	8984 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID	1075782548 (xsd:integer)
dbo:wikiPageWikiLink	dbr:Rosetta_Stone dbr:Electronic_design_automation dbr:Declarative_programming dbr:Homomorphism dbr:University_of_Kansas dbr:VHDL dbr:Verilog dbr:Design_Automation_Standards_Committee dbr:Consortium dbr:Constraint_programming dbr:SystemC dbr:Strict_programming_language dbr:Complete_lattice dbr:Composability dbr:Computer_simulation dbr:Computing dbr:Dependent_types dbr:Prototype_Verification_System dbr:Specification_language dbr:Standardization dbr:C++ dbr:C_(programming_language) dbc:Formal_specification_languages dbr:Type_system dbr:Accellera dbr:Air_Force_Research_Laboratory dbr:Hardware_description_language dbr:Haskell_(programming_language) dbc:IEEE_standards dbr:System dbr:SystemVerilog dbr:Coalgebra dbr:Heterogeneous_computing dbr:Referential_transparency dbr:Institute_of_Electrical_and_Electronics_Engineers dbr:Reflection_(computer_programming) dbr:System_on_a_chip dbr:Semantics_(computer_science) dbr:Semiconductor_industry dbr:Expression_(computer_science) dbr:Larch_Shared_Language dbr:Programming_language dbr:Scalability dbr:Purely_functional_language
dbp:wikiPageUsesTemplate	dbt:IEEE_standards dbt:Refimprove dbt:Reflist dbt:Short_description
dcterms:subject	dbc:Formal_specification_languages dbc:IEEE_standards
gold:hypernym	dbr:Language
rdf:type	dbo:Language yago:Abstraction100002137 yago:Communication100033020 yago:Language106282651 yago:Measure100033615 yago:WikicatIEEEStandards yago:Standard107260623 yago:SystemOfMeasurement113577171 yago:WikicatFormalSpecificationLanguages
rdfs:comment	Within computing, the Rosetta system-level specification language is a design language for complex, heterogeneous systems. Specific language design objectives include: * Constraint representation * Heterogeneous system representation and specification composability * Well-defined formal semantics and support for formal analysis * Scalability to large designs Rosetta was undergoing standardization at various times. (en)
rdfs:label	Rosetta-lang (en)
owl:sameAs	freebase:Rosetta-lang yago-res:Rosetta-lang wikidata:Rosetta-lang https://global.dbpedia.org/id/4uiaL
prov:wasDerivedFrom	wikipedia-en:Rosetta-lang?oldid=1075782548&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Rosetta-lang
is dbo:wikiPageDisambiguates of	dbr:Rosetta_(disambiguation)
is dbo:wikiPageWikiLink of	dbr:Hardware_description_language dbr:Rosetta_(disambiguation)
is foaf:primaryTopic of	wikipedia-en:Rosetta-lang