Extended ML

Extended ML

Extended ML is a specification language created by Kahrs, Sannella and Tarlecki 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 refinement step. 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.

External links

* [http://homepages.inf.ed.ac.uk/dts/eml/ Don Sannella — Information about Extended ML]

References

* S. Kahrs, D. Sannella and A. Tarlecki. The definition of extended ML: A gentle introduction. "Theoretical Computer Science", 173(2):445–484, 28 February 1997.


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • Extended ML — Saltar a navegación, búsqueda 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… …   Wikipedia Español

  • 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 …   Enciclopedia Universal

  • extended — [adj1] lengthened continued, drawnout, elongate, elongated, enlarged, lengthy, long, prolonged, protracted, spread, spread out, stretched out, unfolded, unfurled, very long; concepts 782,798 Ant. abbreviated, abridged, compressed, condensed,… …   New thesaurus

  • extended — index broad, capacious, chronic, comprehensive, continuous, extensive, far reaching, inflated (enlarged …   Law dictionary

  • extended — [eksten′did, iksten′did] adj. 1. stretched out; spread out 2. prolonged; continued 3. enlarged in influence, meaning, scope, effect, etc.; extensive 4. Printing designating type with a wider face than is standard for the height …   English World dictionary

  • extended — adjective 1. relatively long in duration; tediously protracted (Freq. 4) a drawn out argument an extended discussion a lengthy visit from her mother in law a prolonged and bitter struggle protracted negotiations • Syn: ↑ …   Useful english dictionary

  • extended — adjective Date: 15th century 1. drawn out in length especially of time < an extended visit > 2. a. fully stretched out < an extended battle line > b. of a horse s gait performed with a greatly lengthened stride but without a break compare… …   New Collegiate Dictionary

  • extended — extendedly, adv. extendedness, n. /ik sten did/, adj. 1. stretched out: extended wires. 2. continued or prolonged: extended efforts. 3. spread out: extended flags. 4. widespread or extensive; having extension or spatial magnitude: extended… …   Universalium

  • extended — A lengthening out of time previously fixed and not the arbitrary setting of a new date. Stretched, spread, or drawn out @ extended coverage clause Provision in insurance policy which carries protection for hazards beyond those covered (or… …   Black's law dictionary

  • extended — A lengthening out of time previously fixed and not the arbitrary setting of a new date. Stretched, spread, or drawn out @ extended coverage clause Provision in insurance policy which carries protection for hazards beyond those covered (or… …   Black's law dictionary

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”