This HTML5 document contains 14 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

PrefixNamespace IRI
category-eshttp://es.dbpedia.org/resource/Categoría:
dcthttp://purl.org/dc/terms/
wikipedia-eshttp://es.wikipedia.org/wiki/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-eshttp://es.dbpedia.org/resource/
n10http://homepages.inf.ed.ac.uk/dts/eml/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n4http://rdf.freebase.com/ns/m.
n14http://es.wikipedia.org/wiki/Extended_ML?oldid=117829414&ns=
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbrhttp://dbpedia.org/resource/
Subject Item
dbpedia-es:Extended_ML
rdfs:label
Extended ML
rdfs:comment
Extended ML es un lenguaje de programación creado por Kahrs, Sannella y Tarlecki basado en ML. Extiende la sintaxis de ML para incluir axiomas de semántica, los cuales pueden no ser ejecutables pero que sirven para especificar rigurosamente el comportamiento de un programa. Con esta extensión el lenguaje puede utilizarse para aplicar técnicas de para, a partir de una especificación formal, producir un programa en el lenguaje Standard ML que cumple con la especificación. Extended ML se utiliza para la enseñanza de desarrollo formal de programas, y para investigación en .
owl:sameAs
n4:03t8kk
dct:subject
category-es:Software_de_los_años_1980 category-es:Lenguajes_de_programación
foaf:isPrimaryTopicOf
wikipedia-es:Extended_ML
dbo:wikiPageID
66782
dbo:wikiPageRevisionID
117829414
dbo:wikiPageExternalLink
n10:
dbo:wikiPageLength
1200
prov:wasDerivedFrom
n14:0
dbo:abstract
Extended ML es un lenguaje de programación creado por Kahrs, Sannella y Tarlecki basado en ML. Extiende la sintaxis de ML para incluir axiomas de semántica, los cuales pueden no ser ejecutables pero que sirven para especificar rigurosamente el comportamiento de un programa. Con esta extensión el lenguaje puede utilizarse para aplicar técnicas de para, a partir de una especificación formal, producir un programa en el lenguaje Standard ML que cumple con la especificación. Extended ML se utiliza para la enseñanza de desarrollo formal de programas, y para investigación en .
Subject Item
dbr:Extended_ML
owl:sameAs
dbpedia-es:Extended_ML
Subject Item
wikipedia-es:Extended_ML
foaf:primaryTopic
dbpedia-es:Extended_ML