M2001(ID:7622/)
for Modula 2001
Modern version of Modula 2 proposed by Prather, drawing on the experience of CAT, and reflecting the Ralston criiques of a calculus-based pedagogy
Related languages
CAT |
=> |
M2001 | |
Incorporated some features of |
Modula-2 |
=> |
M2001 | |
Evolution of |
References:
Prather, Ronald E. "A modular mathematical programming language" pp38-56 view details
Abstract: A new modular mathematical programming language M2001 is introduced. It is designed to serve as an expository/pedagogical language, used for the development and the presentation of algorithmic processes, as found in the full range of mathematical discourse -- from the modern discrete to the classical continuous mathematics. Built on a semantical framework based in the theory of categories, the M2001 language has a Pascai/Modula-like syntax, but uses the class concept only as a fully-encapsulated, built-in apparatus for handling the traditional mathematical structures and classical computer science (abstract) data types, as found in the elementary applications of the early undergraduate mathematics curriculum. The (categorical) semantic interpretation of the language is outlined, and a complete set of syntax diagrams is presented in an accompanying Appendix.
DOI
in ACM SIGPLAN Notices 33(03) March 1998 view details
|