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).
Read Also:
- Model
[mod-l] /ˈmɒd l/ noun 1. a standard or example for imitation or comparison. 2. a representation, generally in miniature, to show the construction or appearance of something. 3. an image in clay, wax, or the like, to be reproduced in more durable material. 4. a person or thing that serves as a subject for an […]
- Model checking
theory, algorithm, testing To algorithmically check whether a program (the model) satisfies a specification. The model is usually expressed as a directed graph consisting of nodes (or vertices) and edges. A set of atomic propositions is associated with each node. The nodes represents states of a program, the edges represent possible executions which alters the […]
- Modeled
[mod-l] /ˈmɒd l/ noun 1. a standard or example for imitation or comparison. 2. a representation, generally in miniature, to show the construction or appearance of something. 3. an image in clay, wax, or the like, to be reproduced in more durable material. 4. a person or thing that serves as a subject for an […]
- Modelet
noun a small-scale model; also called modulet
- Model home
noun a representative house built and shown as advertisement for buyers to build similar homes; also called show house , spec house , [model unit]