About: Maude system     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:Language106282651, within Data Space : dbpedia.org associated with source document(s)
QRcode icon
http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FMaude_system

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.

AttributesValues
rdf:type
rdfs:label
  • Σύστημα Μωντ
  • Maude system
  • Maude (lenguaje de programación)
rdfs:comment
  • Το σύστημα Μωντ (Maude) είναι μια υλοποίηση της που αναπτύχθηκε στο . Η προσέγγισή του γενικά μοιάζει με την υλοποίηση OBJ3 της (equational logic) από τον Τζόζεφ Γκωγκέν, αλλά βασίζεται στη λογική επαναγραφής αντί για την (order-sorted equational logic), με έμφαση στον ισχυρό μεταπρογραμματισμό που βασίζεται στην ανάκλαση.
  • 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.
  • 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.
foaf:isPrimaryTopicOf
dct:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
Link from a Wikipage to an external page
sameAs
dbp:wikiPageUsesTemplate
has abstract
  • Το σύστημα Μωντ (Maude) είναι μια υλοποίηση της που αναπτύχθηκε στο . Η προσέγγισή του γενικά μοιάζει με την υλοποίηση OBJ3 της (equational logic) από τον Τζόζεφ Γκωγκέν, αλλά βασίζεται στη λογική επαναγραφής αντί για την (order-sorted equational logic), με έμφαση στον ισχυρό μεταπρογραμματισμό που βασίζεται στην ανάκλαση.
  • 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.
  • 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.
prov:wasDerivedFrom
page length (characters) of wiki page
is foaf:primaryTopic of
is Link from a Wikipage to another Wikipage of
is Wikipage disambiguates of
Faceted Search & Find service v1.17_git51 as of Sep 16 2020


Alternative Linked Data Documents: PivotViewer | iSPARQL | ODE     Content Formats:       RDF       ODATA       Microdata      About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3319 as of Dec 29 2020, on Linux (x86_64-centos_6-linux-glibc2.12), Single-Server Edition (61 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2021 OpenLink Software