Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Maude_system> ?p ?o. }
Showing items 1 to 37 of
37
with 100 items per page.
- Maude_system abstract "The Maude system is an implementation of rewriting logic developed at SRI International. It is similar in its general approach to Joseph Goguen's OBJ3 implementation of equational logic, but based on rewriting logic rather than order-sorted equational logic, and with a heavy emphasis on powerful metaprogramming based on reflection.Maude is free software, and tutorials are available online.".
- Maude_system wikiPageExternalLink RealTimeMaude.
- Maude_system wikiPageExternalLink maude.cs.uiuc.edu.
- Maude_system wikiPageExternalLink CDELMMQmetalanguage_1998.html.
- Maude_system wikiPageExternalLink MMlogframework_1993.html.
- Maude_system wikiPageExternalLink MMroadmap_2001.html.
- Maude_system wikiPageExternalLink tcs4012.html.
- Maude_system wikiPageExternalLink moment.dsic.upv.es.
- Maude_system wikiPageExternalLink mdt.
- Maude_system wikiPageExternalLink mfw.
- Maude_system wikiPageExternalLink pagoda.csl.sri.com.
- Maude_system wikiPageExternalLink errata.txt.
- Maude_system wikiPageExternalLink index.html.
- Maude_system wikiPageExternalLink www.upv.es.
- Maude_system wikiPageID "1251423".
- Maude_system wikiPageRevisionID "600102060".
- Maude_system hasPhotoCollection Maude_system.
- Maude_system subject Category:Extensible_syntax_programming_languages.
- Maude_system subject Category:Formal_specification_languages.
- Maude_system subject Category:Logic_programming_languages.
- Maude_system subject Category:SRI_International_software.
- Maude_system subject Category:Term-rewriting_programming_languages.
- Maude_system type Abstraction100002137.
- Maude_system type Communication100033020.
- Maude_system type FormalSpecificationLanguages.
- Maude_system type Language106282651.
- Maude_system comment "The Maude system is an implementation of rewriting logic developed at SRI International. It is similar in its general approach to Joseph Goguen's OBJ3 implementation of equational logic, but based on rewriting logic rather than order-sorted equational logic, and with a heavy emphasis on powerful metaprogramming based on reflection.Maude is free software, and tutorials are available online.".
- Maude_system label "Maude system".
- Maude_system label "Maude".
- Maude_system sameAs Σύστημα_Maude.
- Maude_system sameAs Maude.
- Maude_system sameAs m.04m75m.
- Maude_system sameAs Q3558930.
- Maude_system sameAs Q3558930.
- Maude_system sameAs Maude_system.
- Maude_system wasDerivedFrom Maude_system?oldid=600102060.
- Maude_system isPrimaryTopicOf Maude_system.