Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Rosetta-lang> ?p ?o }
Showing triples 1 to 71 of
71
with 100 triples per page.
- Rosetta-lang abstract "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 designsRosetta was undergoing standardization at various times.".
- Rosetta-lang wikiPageExternalLink www.rosetta-lang.org.
- Rosetta-lang wikiPageID "14865628".
- Rosetta-lang wikiPageLength "8784".
- Rosetta-lang wikiPageOutDegree "46".
- Rosetta-lang wikiPageRevisionID "666859560".
- Rosetta-lang wikiPageWikiLink Accellera.
- Rosetta-lang wikiPageWikiLink Air_Force_Research_Laboratory.
- Rosetta-lang wikiPageWikiLink C++.
- Rosetta-lang wikiPageWikiLink C_(programming_language).
- Rosetta-lang wikiPageWikiLink Category:Formal_specification_languages.
- Rosetta-lang wikiPageWikiLink Category:IEEE_standards.
- Rosetta-lang wikiPageWikiLink Coalgebra.
- Rosetta-lang wikiPageWikiLink Complete_lattice.
- Rosetta-lang wikiPageWikiLink Composability.
- Rosetta-lang wikiPageWikiLink Computer_simulation.
- Rosetta-lang wikiPageWikiLink Consortium.
- Rosetta-lang wikiPageWikiLink Constraint_programming.
- Rosetta-lang wikiPageWikiLink Declarative_programming.
- Rosetta-lang wikiPageWikiLink Dependent_type.
- Rosetta-lang wikiPageWikiLink Dependent_types.
- Rosetta-lang wikiPageWikiLink Design_Automation_Standards_Committee.
- Rosetta-lang wikiPageWikiLink Electronic_design_automation.
- Rosetta-lang wikiPageWikiLink Expression_(computer_science).
- Rosetta-lang wikiPageWikiLink Hardware_description_language.
- Rosetta-lang wikiPageWikiLink Haskell_(programming_language).
- Rosetta-lang wikiPageWikiLink Heterogeneous_computing.
- Rosetta-lang wikiPageWikiLink Homomorphism.
- Rosetta-lang wikiPageWikiLink Institute_of_Electrical_and_Electronics_Engineers.
- Rosetta-lang wikiPageWikiLink Larch_Shared_Language.
- Rosetta-lang wikiPageWikiLink Larch_family.
- Rosetta-lang wikiPageWikiLink Programming_language.
- Rosetta-lang wikiPageWikiLink Prototype_Verification_System.
- Rosetta-lang wikiPageWikiLink Purely_functional.
- Rosetta-lang wikiPageWikiLink Referential_transparency_(computer_science).
- Rosetta-lang wikiPageWikiLink Reflection_(computer_programming).
- Rosetta-lang wikiPageWikiLink Rosetta_Stone.
- Rosetta-lang wikiPageWikiLink Scalability.
- Rosetta-lang wikiPageWikiLink Semantics_(computer_science).
- Rosetta-lang wikiPageWikiLink Semiconductor_industry.
- Rosetta-lang wikiPageWikiLink Specification_language.
- Rosetta-lang wikiPageWikiLink Standardization.
- Rosetta-lang wikiPageWikiLink Strict_programming_language.
- Rosetta-lang wikiPageWikiLink System.
- Rosetta-lang wikiPageWikiLink SystemC.
- Rosetta-lang wikiPageWikiLink SystemVerilog.
- Rosetta-lang wikiPageWikiLink System_on_a_chip.
- Rosetta-lang wikiPageWikiLink Type_system.
- Rosetta-lang wikiPageWikiLink University_of_Kansas.
- Rosetta-lang wikiPageWikiLink VHDL.
- Rosetta-lang wikiPageWikiLink Verilog.
- Rosetta-lang wikiPageWikiLinkText "Rosetta-lang".
- Rosetta-lang hasPhotoCollection Rosetta-lang.
- Rosetta-lang wikiPageUsesTemplate Template:IEEE_standards.
- Rosetta-lang wikiPageUsesTemplate Template:Multiple_issues.
- Rosetta-lang wikiPageUsesTemplate Template:Reflist.
- Rosetta-lang subject Category:Formal_specification_languages.
- Rosetta-lang subject Category:IEEE_standards.
- Rosetta-lang hypernym Language.
- Rosetta-lang type Article.
- Rosetta-lang type Language.
- Rosetta-lang type Article.
- Rosetta-lang type Language.
- Rosetta-lang type Page.
- Rosetta-lang comment "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 designsRosetta was undergoing standardization at various times.".
- Rosetta-lang label "Rosetta-lang".
- Rosetta-lang sameAs m.03g_mzc.
- Rosetta-lang sameAs Q7368680.
- Rosetta-lang sameAs Q7368680.
- Rosetta-lang wasDerivedFrom Rosetta-lang?oldid=666859560.
- Rosetta-lang isPrimaryTopicOf Rosetta-lang.