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 , and with a heavy emphasis on powerful metaprogramming based on reflection. Maude is free software, and tutorials are available online.

Property Value
dbo:abstract
  • Το σύστημα Μωντ (Maude) είναι μια υλοποίηση της που αναπτύχθηκε στο . Η προσέγγισή του γενικά μοιάζει με την υλοποίηση OBJ3 της (equational logic) από τον Τζόζεφ Γκωγκέν, αλλά βασίζεται στη λογική επαναγραφής αντί για την (order-sorted equational logic), με έμφαση στον ισχυρό μεταπρογραμματισμό που βασίζεται στην ανάκλαση. (el)
  • 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 , and with a heavy emphasis on powerful metaprogramming based on reflection. Maude is free software, and tutorials are available online. (en)
  • Maude es un lenguaje de programación para especificaciones formales mediante el uso de términos algebraicos. Se trata de un lenguaje interpretado que permite la verificación de propiedades y transformaciones sobre modelos y que permite ejecutar la especificación como si fuera un prototipo. (es)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 1251423 (xsd:integer)
dbo:wikiPageLength
  • 16752 (xsd:integer)
dbo:wikiPageRevisionID
  • 954491310 (xsd:integer)
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dct:subject
rdf:type
rdfs:comment
  • Το σύστημα Μωντ (Maude) είναι μια υλοποίηση της που αναπτύχθηκε στο . Η προσέγγισή του γενικά μοιάζει με την υλοποίηση OBJ3 της (equational logic) από τον Τζόζεφ Γκωγκέν, αλλά βασίζεται στη λογική επαναγραφής αντί για την (order-sorted equational logic), με έμφαση στον ισχυρό μεταπρογραμματισμό που βασίζεται στην ανάκλαση. (el)
  • 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 , and with a heavy emphasis on powerful metaprogramming based on reflection. Maude is free software, and tutorials are available online. (en)
  • Maude es un lenguaje de programación para especificaciones formales mediante el uso de términos algebraicos. Se trata de un lenguaje interpretado que permite la verificación de propiedades y transformaciones sobre modelos y que permite ejecutar la especificación como si fuera un prototipo. (es)
rdfs:label
  • Σύστημα Μωντ (el)
  • Maude system (en)
  • Maude (lenguaje de programación) (es)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageDisambiguates of
is dbo:wikiPageWikiLink of
is foaf:primaryTopic of