MODEF

Pascal-like language with polymorphism and data abstraction. "Definition of the Programming Language MODEF", J. Steensgard-Madsen et al, SIGPLAN Notices 19(2):92-110 (Feb 1984).

Try this search on Wikipedia, OneLook, Google

Nearby terms:

Mode « mode « mode bit « MODEF » MODEL » model » model checking

Loading