| Webster's Online Dictionary |
| Expressions | Definition | ||
| 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. (references) | ||
Source: compiled by the editor from various references; see credits. | Top | ||
| Expressions | Domain | Definition | |
| Extended ML | Computing | Extended ML A language by Don Sannella of the University of Edinburgh combining algebraic specification and functional programming. ["Program Specification and Development in Standard ML", D. Sannella et al, 12th POPL, ACM 1985]. (1994-12-12). Source: The Free On-line Dictionary of Computing.. | |
Source: compiled by the editor from various references; see credits. | Top | ||
