Le calcul des fermetures dans les lambda-langages

  • Jean-Louis Durieux
Part of the Lecture Notes in Computer Science book series (LNCS, volume 107)


The main purpose of this paper is the reduction of the size and computation time of the local associations lists used in a lambda language (PLASMA) to implement environment functions.

In this way, we use of an original definition of environments to gain in generality, even if an other association scheme would be used. Then we establish which conditions have to be satisfied for the evaluation to work correctly.


Nous Allons Nous Utilisons Nous Obtenons Expression Plasma Condition Suffi 
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. [ALLEN,78]
    J. ALLEN, "Anatomy of Lisp, Artificial Intelligence Series" Mc Graw-Hill (1978).Google Scholar
  2. [DURIEUX,81]
    J.L. DURIEUX "Une théorie algébrique des liaisons noms-valeurs pour les preuves d'interprètes" Thèse d'Etat — Université Paul Sabatier, à paraitreGoogle Scholar
  3. [GREUSSAY,77]
    P. GREUSSAY "Contribution à la définition interprétative et à l'implémentation des lambda-langages" Thèse d'Etat — Paris VIII RT no 78-2 — LITP, 2, Pl. Jussieu — 75221 PARIS CEDEX 05Google Scholar
  4. [HEWITT,73]
    C. HEWITT, P. BISHOP, R. STEIGER "A universal modular actor formalism for artificial intelligence" I.J.C.A.I., (1973)Google Scholar
    C. HEWITT, G. ATTARDI, H. LIEBERMANN "Specifying and proving properties of guardians for distributed systems" Proc. of "Semantics of concurrent program", Evian p. 316–336, (Springer-Verlag-1979).Google Scholar
    R. MILNE, C. STRACHEY "A theory of programming language semantics" Chapman and Hall Ed. (1976).Google Scholar
  7. [POMIAN,80]
    C. POMIAN "Contribution à la définition et à l'implémentation du langage PLASMA" Thèse de 3ème Cycle — Université Paul Sabatier — L.S.I. (1980).Google Scholar
    J.C. REYNOLDS "GEDANKEN, A simple typeless language based on the principle of completeness and the reference concept" Comm. A.C.M. Vol. 13, no 5, (Mai 1970).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1981

Authors and Affiliations

  • Jean-Louis Durieux
    • 1
  1. 1.Laboratoire "Langages et Systèmes Informatiques"Universite Paul SabatierToulouse Cedex

Personalised recommendations