Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Extended_ML> ?p ?o }
Showing triples 1 to 55 of
55
with 100 triples per page.
- Extended_ML abstract "Extended ML is a wide-spectrum language covering both specification and implementation and based on the ML programming language. 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 SML program 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 Extensible ML (other than being similarly derived from ML), nor to the specification language eXtensible Markup Language.".
- Extended_ML wikiPageExternalLink eml.
- Extended_ML wikiPageID "957110".
- Extended_ML wikiPageLength "1649".
- Extended_ML wikiPageOutDegree "18".
- Extended_ML wikiPageRevisionID "580106334".
- Extended_ML wikiPageWikiLink Andrzej_Tarlecki.
- Extended_ML wikiPageWikiLink Axiomatic_semantics.
- Extended_ML wikiPageWikiLink Category:Formal_specification_languages.
- Extended_ML wikiPageWikiLink Category:ML_programming_language_family.
- Extended_ML wikiPageWikiLink Category:Programming_languages_created_in_the_1980s.
- Extended_ML wikiPageWikiLink Don_Sannella.
- Extended_ML wikiPageWikiLink EXtensible_Markup_Language.
- Extended_ML wikiPageWikiLink Extensible_ML.
- Extended_ML wikiPageWikiLink Formal_methods.
- Extended_ML wikiPageWikiLink Formal_specification.
- Extended_ML wikiPageWikiLink Formal_verification.
- Extended_ML wikiPageWikiLink ML_(programming_language).
- Extended_ML wikiPageWikiLink ML_programming_language.
- Extended_ML wikiPageWikiLink Program_specification.
- Extended_ML wikiPageWikiLink Program_verification.
- Extended_ML wikiPageWikiLink Specification_language.
- Extended_ML wikiPageWikiLink Standard_ML.
- Extended_ML wikiPageWikiLink Theoretical_Computer_Science_(journal).
- Extended_ML wikiPageWikiLink Wide-spectrum_language.
- Extended_ML wikiPageWikiLink XML.
- Extended_ML wikiPageWikiLinkText "Extended ML".
- Extended_ML hasPhotoCollection Extended_ML.
- Extended_ML wikiPageUsesTemplate Template:Compu-lang-stub.
- Extended_ML wikiPageUsesTemplate Template:Notability.
- Extended_ML subject Category:Formal_specification_languages.
- Extended_ML subject Category:ML_programming_language_family.
- Extended_ML subject Category:Programming_languages_created_in_the_1980s.
- Extended_ML hypernym Language.
- Extended_ML type Article.
- Extended_ML type Language.
- Extended_ML type ProgrammingLanguage.
- Extended_ML type Software.
- Extended_ML type Work.
- Extended_ML type Article.
- Extended_ML type Language.
- Extended_ML type CreativeWork.
- Extended_ML type Thing.
- Extended_ML type Q386724.
- Extended_ML type Q7397.
- Extended_ML type Q9143.
- Extended_ML comment "Extended ML is a wide-spectrum language covering both specification and implementation and based on the ML programming language. 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.".
- Extended_ML label "Extended ML".
- Extended_ML sameAs Extended_ML.
- Extended_ML sameAs Extended_ML.
- Extended_ML sameAs m.03t8kk.
- Extended_ML sameAs Q3393817.
- Extended_ML sameAs Q3393817.
- Extended_ML wasDerivedFrom Extended_ML?oldid=580106334.
- Extended_ML isPrimaryTopicOf Extended_ML.