MIN0(ID:6966/min027)
pronounced MIN-ZERO or MINNOW
Related languages
LAMBDA |
=> |
MIN0 | |
Implementation of |
MIN0 |
=> |
MIN1 | |
Extension of |
References:
Brown, R., "An Implementation of MIN0", Unpublished final year undergraduate project report 83.18. Dept. of Computer Studies, Loughborough University of Technology, U.K. (1983).
view details
Cooke D. J. and M. H. J. Al-Noufaly "The programming language MIN0 and its formal definition" pp47-57
view details
Abstract: MINO (pronounced 'minnow' or 'min-zero') is a block-structured language constructed directly on the formal, mathematical, definition of recursive functions and should therefore be capable of specifying any computable mapping. Moreover the denotational description allows MINO to be used as a base on which a progression of other, related and more 'realistic', languages can be bootstrapped. Mathematical properties of such languages can then be linked to the already existing body of knowledge concerning recursive functions.
DOI
in SIGPLAN Notices 19(02) February 1984 view details
|