Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q3393817> ?p ?o }
Showing triples 1 to 29 of
29
with 100 triples per page.
- Q3393817 subject Q14955350.
- Q3393817 subject Q8466135.
- Q3393817 subject Q8590743.
- Q3393817 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.".
- Q3393817 wikiPageExternalLink eml.
- Q3393817 wikiPageWikiLink Q1049183.
- Q3393817 wikiPageWikiLink Q1209840.
- Q3393817 wikiPageWikiLink Q1437424.
- Q3393817 wikiPageWikiLink Q14955350.
- Q3393817 wikiPageWikiLink Q173326.
- Q3393817 wikiPageWikiLink Q2115.
- Q3393817 wikiPageWikiLink Q5293472.
- Q3393817 wikiPageWikiLink Q5421922.
- Q3393817 wikiPageWikiLink Q597330.
- Q3393817 wikiPageWikiLink Q7782354.
- Q3393817 wikiPageWikiLink Q792533.
- Q3393817 wikiPageWikiLink Q7998546.
- Q3393817 wikiPageWikiLink Q8466135.
- Q3393817 wikiPageWikiLink Q8590743.
- Q3393817 wikiPageWikiLink Q860654.
- Q3393817 type Language.
- Q3393817 type Language.
- Q3393817 type ProgrammingLanguage.
- Q3393817 type Thing.
- Q3393817 type Q315.
- Q3393817 type Q34770.
- Q3393817 type Q9143.
- Q3393817 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.".
- Q3393817 label "Extended ML".