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).
Nearby terms:
Mode « mode « mode bit « MODEF » MODEL »
model » model checking
|