MIDL: A hybrid language of medium level

  • E. Deak
  • M. Shimasaki
  • J. Schwartz
Part of the Lecture Notes in Computer Science book series (LNCS, volume 47)


Because the production version of the MIDL compiler is not yet complete, it is premature to draw conclusions about MIDL's success in regard to usefulness and efficiency. However, we very much expect that MIDL will be a suitable tool for developing a production version of a global SETL optimizer from the (already formidable) SETL version of this optimizer. More generally, it will make SETL more widely useable by allowing critical sections of SETL programs to be optimized manually. PL/I and ALGOL 68 are existing languages with roughly the same semantic level as MIDL; However, MIDL is compatible with our existing SETL software, and is highly transportable.


Garbage Collection Semantic Level Production Version Type Check Courant Institute 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    J. Cocke and J. T. Schwartz, Programming Languages and their Compilers. Lecture Notes, Computer Science Dept., Courant Institute of Mathematical Science (1970).Google Scholar
  2. 2.
    K. Jenson and N.Wirth, PASCAL: User Manual and Report. Springer Publishing Company, (1974).Google Scholar
  3. 3.
    K. Kennedy and J.T. Schwartz, An Introduction to the Set Theoretic Language SETL. Computers & Mathematics with Applications, vol. 1, pp. 97–119. Pergamon Press (1975).Google Scholar
  4. 4.
    J. T. Schwartz, On Programming: An Interim Report on the SETL Project. Installment 1 — Generalities. Installment II — The SETL Language and Examples of its Use. Computer Science Department Courant Institute of Mathematical Sciences (1973).Google Scholar
  5. 5.
    J.T. Schwartz, Optimization of Very High Level Language I. Value Transmission and its Corollaries. Journal of Computer Languages, vol. 1, # 2, pp. 161–194 (June 1975). II. Deducing Relations of Inclusion and Membership. Journal of Computer Languages, vol. 1, # 3 (1975).Google Scholar
  6. 6.
    D. Shields, Guide to the LITTLE Language. LITTLE Newsletter # 33, (March 1974).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1977

Authors and Affiliations

  • E. Deak
    • 1
  • M. Shimasaki
    • 1
  • J. Schwartz
    • 1
  1. 1.Computer Science Department, Courant Institute of Mathematical SciencesNew York UniversityUSA

Personalised recommendations