Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Extended_ML> ?p ?o. }
Showing items 1 to 30 of
30
with 100 items 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 wikiPageRevisionID "580106334".
- Extended_ML hasPhotoCollection Extended_ML.
- 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 type Abstraction100002137.
- Extended_ML type ArtificialLanguage106894544.
- Extended_ML type Communication100033020.
- Extended_ML type FormalSpecificationLanguages.
- Extended_ML type Language106282651.
- Extended_ML type ProgrammingLanguage106898352.
- Extended_ML type ProgrammingLanguagesCreatedInThe1980s.
- Extended_ML type ProgrammingLanguage.
- Extended_ML type Software.
- Extended_ML type Work.
- Extended_ML type CreativeWork.
- Extended_ML type InformationEntity.
- 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 label "Extended ML".
- Extended_ML sameAs Extended_ML.
- Extended_ML sameAs m.03t8kk.
- Extended_ML sameAs Q3393817.
- Extended_ML sameAs Q3393817.
- Extended_ML sameAs Extended_ML.
- Extended_ML wasDerivedFrom Extended_ML?oldid=580106334.
- Extended_ML isPrimaryTopicOf Extended_ML.