| dbo:abstract
|
- Extended ML is a wide-spectrum language based on ML, covering both specification and implementation. It extends the syntax of ML to include axioms, which need not be executable but can rigorously specify the behavior of the program. With this addition the language can be used for stepwise refinement, proceeding gradually from an initial formal specification to eventually yield an executable Standard ML program. Correctness of the final executable with respect to the original specification can then be established by proving the correctness of each of the refinement steps. Extended ML is used for research into and teaching of formal program development and specification, and research into automatic program verification. Extended ML is neither related to the programming language (other than being similarly derived from ML), nor to the specification language Extensible Markup Language (XML). (en)
- 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 . (es)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 1664 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| gold:hypernym
| |
| rdf:type
| |
| 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 . (es)
- Extended ML is a wide-spectrum language based on ML, covering both specification and implementation. It extends the syntax of ML to include axioms, which need not be executable but can rigorously specify the behavior of the program. With this addition the language can be used for stepwise refinement, proceeding gradually from an initial formal specification to eventually yield an executable Standard ML program. Correctness of the final executable with respect to the original specification can then be established by proving the correctness of each of the refinement steps. Extended ML is used for research into and teaching of formal program development and specification, and research into automatic program verification. (en)
|
| rdfs:label
|
- Extended ML (es)
- Extended ML (en)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
