| Property |
Value |
| 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 . (es)
- 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
| |
| dbo:wikiPageRevisionID
| |
| dct:subject
| |
| 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 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)
|
| rdfs:label
|
- Extended ML (es)
- Extended ML (es)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is owl:sameAs
of | |
| is foaf:primaryTopic
of | |
