Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Maude_system> ?p ?o }
Showing triples 1 to 66 of
66
with 100 triples 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 wikiPageLength "16928".
- Maude_system wikiPageOutDegree "21".
- Maude_system wikiPageRevisionID "600102060".
- Maude_system wikiPageWikiLink Category:Extensible_syntax_programming_languages.
- Maude_system wikiPageWikiLink Category:Formal_specification_languages.
- Maude_system wikiPageWikiLink Category:Logic_programming_languages.
- Maude_system wikiPageWikiLink Category:SRI_International_software.
- Maude_system wikiPageWikiLink Category:Term-rewriting_programming_languages.
- Maude_system wikiPageWikiLink Change_of_variables.
- Maude_system wikiPageWikiLink Equational_logic.
- Maude_system wikiPageWikiLink Halting_problem.
- Maude_system wikiPageWikiLink Joseph_Goguen.
- Maude_system wikiPageWikiLink Metaprogramming.
- Maude_system wikiPageWikiLink OBJ3.
- Maude_system wikiPageWikiLink Order-sorted_equational_logic.
- Maude_system wikiPageWikiLink Reflection_(computer_programming).
- Maude_system wikiPageWikiLink Reflection_(computer_science).
- Maude_system wikiPageWikiLink Rewriting.
- Maude_system wikiPageWikiLink Rewriting_logic.
- Maude_system wikiPageWikiLink SRI_International.
- Maude_system wikiPageWikiLink Substitution_of_variables.
- Maude_system wikiPageWikiLink Swansea_University.
- Maude_system wikiPageWikiLink =_dead_=_true_%5Blabel_las-vegas.
- Maude_system wikiPageWikiLink N_=%3E_0,_M_=%3E_s(0).
- Maude_system wikiPageWikiLink N_=%3E_s(0).
- Maude_system wikiPageWikiLink Rl_person(S,_N)_=%3E_person(S,_N_+_1)_%5Blabel_birthday.
- Maude_system wikiPageWikiLinkText "Maude system".
- Maude_system wikiPageWikiLinkText "Maude".
- Maude_system hasPhotoCollection Maude_system.
- Maude_system wikiPageUsesTemplate Template:Cite_book.
- 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 hypernym Implementation.
- Maude_system type Article.
- Maude_system type Language.
- Maude_system type Software.
- Maude_system type Article.
- Maude_system type Language.
- Maude_system type Page.
- 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 sameAs Σύστημα_Maude.
- Maude_system sameAs Maude.
- Maude_system sameAs m.04m75m.
- Maude_system sameAs Q3558930.
- Maude_system sameAs Q3558930.
- Maude_system wasDerivedFrom Maude_system?oldid=600102060.
- Maude_system isPrimaryTopicOf Maude_system.