http://dbpedia.org/ontology/abstract
|
Within computing, the Rosetta system-level … 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.dergoing standardization at various times.
|
http://dbpedia.org/ontology/wikiPageExternalLink
|
http://www.rosetta-lang.org +
|
http://dbpedia.org/ontology/wikiPageID
|
14865628
|
http://dbpedia.org/ontology/wikiPageLength
|
8984
|
http://dbpedia.org/ontology/wikiPageRevisionID
|
1075782548
|
http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Declarative_programming +
, http://dbpedia.org/resource/Computing +
, http://dbpedia.org/resource/Programming_language +
, http://dbpedia.org/resource/Constraint_programming +
, http://dbpedia.org/resource/Electronic_design_automation +
, http://dbpedia.org/resource/SystemVerilog +
, http://dbpedia.org/resource/C%2B%2B +
, http://dbpedia.org/resource/Purely_functional_language +
, http://dbpedia.org/resource/Reflection_%28computer_programming%29 +
, http://dbpedia.org/resource/Air_Force_Research_Laboratory +
, http://dbpedia.org/resource/Dependent_types +
, http://dbpedia.org/resource/Category:IEEE_standards +
, http://dbpedia.org/resource/Accellera +
, http://dbpedia.org/resource/Homomorphism +
, http://dbpedia.org/resource/C_%28programming_language%29 +
, http://dbpedia.org/resource/Strict_programming_language +
, http://dbpedia.org/resource/Institute_of_Electrical_and_Electronics_Engineers +
, http://dbpedia.org/resource/Standardization +
, http://dbpedia.org/resource/Referential_transparency +
, http://dbpedia.org/resource/Hardware_description_language +
, http://dbpedia.org/resource/Rosetta_Stone +
, http://dbpedia.org/resource/Specification_language +
, http://dbpedia.org/resource/Category:Formal_specification_languages +
, http://dbpedia.org/resource/Composability +
, http://dbpedia.org/resource/Consortium +
, http://dbpedia.org/resource/Semantics_%28computer_science%29 +
, http://dbpedia.org/resource/System +
, http://dbpedia.org/resource/Type_system +
, http://dbpedia.org/resource/Expression_%28computer_science%29 +
, http://dbpedia.org/resource/Larch_Shared_Language +
, http://dbpedia.org/resource/Computer_simulation +
, http://dbpedia.org/resource/Design_Automation_Standards_Committee +
, http://dbpedia.org/resource/Coalgebra +
, http://dbpedia.org/resource/System_on_a_chip +
, http://dbpedia.org/resource/VHDL +
, http://dbpedia.org/resource/Semiconductor_industry +
, http://dbpedia.org/resource/Heterogeneous_computing +
, http://dbpedia.org/resource/University_of_Kansas +
, http://dbpedia.org/resource/Haskell_%28programming_language%29 +
, http://dbpedia.org/resource/Complete_lattice +
, http://dbpedia.org/resource/Prototype_Verification_System +
, http://dbpedia.org/resource/Verilog +
, http://dbpedia.org/resource/Scalability +
, http://dbpedia.org/resource/SystemC +
|
http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:IEEE_standards +
, http://dbpedia.org/resource/Template:Refimprove +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Reflist +
|
http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Formal_specification_languages +
, http://dbpedia.org/resource/Category:IEEE_standards +
|
http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Language +
|
http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Rosetta-lang?oldid=1075782548&ns=0 +
|
http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Rosetta-lang +
|
owl:sameAs |
http://yago-knowledge.org/resource/Rosetta-lang +
, http://dbpedia.org/resource/Rosetta-lang +
, http://www.wikidata.org/entity/Q7368680 +
, http://rdf.freebase.com/ns/m.03g_mzc +
, https://global.dbpedia.org/id/4uiaL +
|
rdf:type |
http://dbpedia.org/class/yago/WikicatFormalSpecificationLanguages +
, http://dbpedia.org/class/yago/Communication100033020 +
, http://dbpedia.org/class/yago/Measure100033615 +
, http://dbpedia.org/ontology/Language +
, http://dbpedia.org/class/yago/SystemOfMeasurement113577171 +
, http://dbpedia.org/class/yago/Abstraction100002137 +
, http://dbpedia.org/class/yago/Standard107260623 +
, http://dbpedia.org/class/yago/Language106282651 +
, http://dbpedia.org/class/yago/WikicatIEEEStandards +
|
rdfs:comment |
Within computing, the Rosetta system-level … 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.dergoing standardization at various times.
|
rdfs:label |
Rosetta-lang
|