H ? « »

Language peer sets for MODEF:
Designed 1984
1980s languages
Fourth generation
Late Cold War


Revised Pascal with polymorphism 

alternate simple view
Country: Denmark
Designed 1984
Published: 1984

Pascal-like language with polymorphism and data abstraction. 1984

Related languages
Pascal MODEF   Influence

  • Steensgaard-Madsen, Jòrgen (1979) Steensgaard-Madsen, Jòrgen "Pascal - Clarifications and Recommended Extensions" pp73-94
          in (1979) Acta Informatica 12(1) June 25, 1979
  • Hansson, H. (1981) Hansson, H. and Steensgaard-Madsen, J. Document preparation systems, Software - Practice and Experience 11, (1981)
          in (1979) Acta Informatica 12(1) June 25, 1979
  • Steensgaard-Madsen, J. (1981) Steensgaard-Madsen, J. "A statement-oriented approach to data abstraction" TOPLAS 3, 1 (Jan. 1981)
          in (1979) Acta Informatica 12(1) June 25, 1979
  • Steensgaard-Madsen, J. (1981) Steensgaard-Madsen, J. "Modular programming with Pascal"SPE 11, (1981)
          in (1979) Acta Informatica 12(1) June 25, 1979
  • Steensgaard-Madsen, J. (1983) Steensgaard-Madsen, J. "A skeleton interpreter for specialized languages", Programming Languages and System Design, ed. J. Bormann, North-Holland 1983
          in (1979) Acta Informatica 12(1) June 25, 1979
  • J. Steensgard-Madsen et al, (1984) J. Steensgard-Madsen et al, "Definition of the Programming Language MODEF"
          in [SIGPLAN] (1984) SIGPLAN Notices 19(02) February 1984
    • page by designer
      Subsequently I went on to design and implement a general programming language, called MODEF, with a Pascal-like type system. It allowed types to be parameters and did not depend on code specialization or expansion in the implementation. Subrange types with bounds determined at run-time were supported, and hence also dynamic arrays. Pointer types were absent. Another influential issue in the design of the language was modularity.
    • MODEF page
      Modularity and program development
      The programming language MODEF was designed to give syntactic support to a technique for writing modules in languages with the semantics of Pascal like languages. Such languages can be used to achieve `information hiding', automatic initialization and finalization of abstract data structures, and support for user-defined control structures (e.g. iterators.) The technique has been characterised as being statement-oriented.

      One distinct feature of MODEF is the appearance of program blocks where other languages would have required an identifier (referring to a procedure or function definition, say.) This proves very convenient, once the associated implicit introduction of parameters in such block-arguments can be mastered. This feature implies separate description of interfaces that are far more general than ordinary module interfaces.

      The pragmatics of modular programming according to the statement-oriented approach has been investigated. The technique was used in a major program development project, where a program evolved over a period of about 10 years with massive, unforeseen users' requests being accomodated smoothly.

    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder