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-11
| < Previous Terms | Terms Containing MODEF | Next Terms > |
| modal logic MODCAL Mode mode mode bit | mode MODEF | MODEL model model checking modeling modelling |



