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.

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. (es)
foaf:isPrimaryTopicOf
rdfs:label
  • Extended ML (es)
Is foaf:primaryTopic of
dcterms:subject
prov:wasDerivedFrom
dbpedia-owl:wikiPageExternalLink
dbpedia-owl:wikiPageID
  • 66782 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 1103 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 9 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 64551111 (xsd:integer)
dbpedia-owl:wikiPageWikiLink
Is dbpedia-owl:wikiPageWikiLink of