Algol-like languages with higher-order procedures and their expressive power

  • A. J. Kfoury
  • P. Urzyczyn
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 363)


Local Variable Formal Parameter Expressive Power Procedure Call Functional Program 
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. [AU]
    Aho, A.V., Ullman, J.D., Principles of Compiler Design, Addison-Wesley, 1977.Google Scholar
  2. [Cl]
    Clarke, E.M., Programming language construct for which it is impossible to obtain good Hoare-like axiom systems, Journal ACM, 26, no.1, pp 129–147, 1979.Google Scholar
  3. [GCH]
    German, S.M., Clarke, E.M., Halpern, J.Y., True relative completeness of an axiom system for the language L4, Proc. LICS 1986.Google Scholar
  4. [Go]
    Goerdt, A., On the computational power of the finitely typed lambda-terms, Proc. MFCS 1988.Google Scholar
  5. [G]
    Greibach, S., Theory of Program Structures: Schemes, Semantics, Verification, LNCS 36, Springer-Verlag, 1975.Google Scholar
  6. [J]
    Juszczyk, M., On the equivalence of the language L4 and recursive definitions of higher types, manuscript, University of Warsaw, 1988.Google Scholar
  7. [KU1]
    Kfoury, A.J., Urzyczyn, P., Finitely typed functional programs, Part I: syntax, semantics and implementation, Research report, Boston University 1986.Google Scholar
  8. [KU2]
    Kfoury, A.J., Urzyczyn, P., Finitely typed functional programs, Part II: comparisons to imperative languages, Research report, Boston University 1988.Google Scholar
  9. [KTU]
    Kfoury, A.J., Tiuryn, J., Urzyczyn, P., The hierarchy of finitely typed functional programs, Proc. LICS 1987.Google Scholar
  10. [NZ]
    Niwiński, D., Zawadowski, M., Two remarks on recursion versus push-down store, (Polish), manuscript, University of Warsaw, 1986.Google Scholar
  11. [RR]
    Randell, B., Russell, L.J., ALGOL 60 Implementation, Academic Press, 1964.Google Scholar
  12. [Sn]
    Snyder, L., An Analysis of Parameter Evaluation for Recursive Procedures, Ph.D. Thesis, Carnegie-Mellon Univ, 1973.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1989

Authors and Affiliations

  • A. J. Kfoury
    • 1
  • P. Urzyczyn
    • 2
  1. 1.Computer Science DepartmentBoston UniversityBostonUSA
  2. 2.Institute of MathematicsUniversity of Warsaw PKiNWarszawaPoland

Personalised recommendations