Extended ML (original) (raw)
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 .
| Property | Value |
|---|---|
| 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 | http://homepages.inf.ed.ac.uk/dts/eml/ |
| dbo:wikiPageID | 957110 (xsd:integer) |
| dbo:wikiPageLength | 1664 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1025780068 (xsd:integer) |
| dbo:wikiPageWikiLink | dbc:ML_programming_language_family dbr:Don_Sannella dbr:ML_(programming_language) dbr:Standard_ML dbr:Specification_language dbr:Theoretical_Computer_Science_(journal) dbc:Formal_specification_languages dbr:Extensible_Markup_Language dbr:Formal_methods dbr:Formal_specification dbc:Programming_languages_created_in_the_1980s dbr:Axiomatic_semantics dbr:Wide-spectrum_language dbr:Extensible_ML dbr:Program_verification dbr:Program_specification dbr:Andrzej_Tarlecki |
| dbp:wikiPageUsesTemplate | dbt:Authority_control dbt:Notability dbt:Compu-lang-stub |
| dct:subject | dbc:ML_programming_language_family dbc:Formal_specification_languages dbc:Programming_languages_created_in_the_1980s |
| gold:hypernym | dbr:Language |
| rdf:type | owl:Thing dbo:Language schema:Language wikidata:Q315 wikidata:Q9143 yago:Abstraction100002137 yago:ArtificialLanguage106894544 yago:Communication100033020 yago:Language106282651 yago:ProgrammingLanguage106898352 dbo:ProgrammingLanguage yago:WikicatFormalSpecificationLanguages yago:WikicatProgrammingLanguages yago:WikicatProgrammingLanguagesCreatedInThe1980s |
| 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 | freebase:Extended ML yago-res:Extended ML wikidata:Extended ML dbpedia-es:Extended ML dbpedia-gl:Extended ML https://global.dbpedia.org/id/38BDG |
| prov:wasDerivedFrom | wikipedia-en:Extended_ML?oldid=1025780068&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Extended_ML |
| is dbo:wikiPageRedirects of | dbr:Extended_ML_(programming_language) dbr:Extended_ML_programming_language |
| is dbo:wikiPageWikiLink of | dbr:Standard_ML_of_New_Jersey dbr:EML_programming_language dbr:Wide-spectrum_language dbr:Extended_ML_(programming_language) dbr:Extended_ML_programming_language |
| is foaf:primaryTopic of | wikipedia-en:Extended_ML |