Maude | DBpedia LatAm

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.

rdfs:comment	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)
Desarrollador	dbpedia-latam:SRI_International
dbpedia-owl:developer	dbpedia-latam:SRI_International
foaf:homepage	<http://maude.cs.uiuc.edu>
foaf:isPrimaryTopicOf	wiki-latam:Maude
rdfs:label	Maude (es)
foaf:name	Maude (es)
Nombre	Maude (es)
Paradigma	Lenguaje de rescritura (es) Lenguaje declarativo (es) Lenguaje funcional (es)
Is foaf:primaryTopic of	wiki-latam:Maude
dcterms:subject	dbpedia-latam:Categoría:Lenguajes_interpretados dbpedia-latam:Categoría:Programación_lógica
rdf:type	dbpedia-owl:ProgrammingLanguage dbpedia-owl:Software dbpedia-owl:Work schema:CreativeWork <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#InformationEntity>
prov:wasDerivedFrom	wiki-latam:Maude?oldid=64936994
Web	<http://maude.cs.uiuc.edu>
dbpedia-owl:wikiPageExternalLink	<http://maude.cs.uiuc.edu> <http://maude.sip.ucm.es/debugging/> <http://moment.dsic.upv.es/mfw> <http://www.maudetutorial.260mb.com/>
dbpedia-owl:wikiPageID	1436669 (xsd:integer)
dbpedia-owl:wikiPageLength	16323 (xsd:integer)
dbpedia-owl:wikiPageOutDegree	25 (xsd:integer)
dbpedia-owl:wikiPageRevisionID	64936994 (xsd:integer)
prop-latam:wikiPageUsesTemplate	dbpedia-latam:Plantilla:Ficha_de_lenguaje_de_programación dbpedia-latam:Plantilla:Wikificar
dbpedia-owl:wikiPageWikiLink	[25 values]
Is dbpedia-owl:wikiPageWikiLink of	[15 values]