Advertisement

Échappements et continuations en semantique dénotationnelle

  • P. Sallé
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 83)

Conclusion

La sémantique par échappement permet de donner une définition simple des sauts généralisés sans la nécessité d'introduire une pile de continuations. Elle permet également de prendre en compte la notion de champ dynamique d'une étiquette. Elle présente l'avantage d'être facilement traductible dans un langage de réduction du type λ-calcul et de s'évaluer selon un mode de calcul unique, l'appel par valeur.

Keywords

Expression Bool Denotational Semantic Mathematical Semantic Nous Donnons Nous Faisons 
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.

Bibliographie

  1. [BAC 1]
    BACKUS J. Reduction Language and Variable-free Programming, IBM Research Report RJ 1010, IBM Research Laboratory, 1972, San José, Californie.Google Scholar
  2. [DUR 1]
    DURIEUX J.L., T-LISP le Système LISP de Toulouse Ecole IRIA de la Recherche, Toulouse, Mars 1978.Google Scholar
  3. [DUR 2]
    DURIEUX J.L., SALLE P., Application de la Notion d'Echappement à la Description des Instructions de Saut. Groupe Programmation et Langages de l'AFCET, Bulletin no 5, 1978. p. 21–35.Google Scholar
  4. [DUR 3]
    DURIEUX J.L., SALLE P., L'échappement comme Sémantique des Structures de contrôle. Actes du Congrès AFCET TTI, Nov. 78 p. 77–87.Google Scholar
  5. [GRE 1]
    GREUSSAY P., Contribution à la Définition Interprétative et à l'Implémentation des Lambda-Languages, Thèse d'Etat, Paris 7, 1977.Google Scholar
  6. [JON 1]
    JONES C.B. Denotational Semantics of Goto: An Exit Formulation and its Relation to Continuations, The Vienna Development Method: The Meta Language, Ed. D. Bjornes and C.B. Jones, Springer Verlag, no 61, 1978 — p. 280–304.Google Scholar
  7. [KOS 1]
    KOSTER A. An Algorithm for Translating LISP Programs into Reduction Language Programs, IVe International Symposium Programming, Paris, France, 1980.Google Scholar
  8. [LAN 1]
    LANDIN J.P., A Correspondence Between ALGOL 60 and CHURCH'S Lambda Notations, ACM, Vol. 8, no 2 et 3, 1965, p. 8–101 et 158–165.Google Scholar
  9. [MAG 1]
    MAGO G., A Network of Microprocessors to Execute Reduction Languages, International Journal of Computer and Information Sciences, 1979, 5 et 6.Google Scholar
  10. [REY 1]
    REYNOLDS J.C., Definitional Interpreters for Higher-Orders Programming Languages. Proc 25th ACM National Conférence, 1972, p. 717–740.Google Scholar
  11. [ROB 1]
    ROBINET B., Sémantique des Structures de Contrôle, RAIRO Informatique Théorique, Vol. 11, no 3, 1977, p. 213–236Google Scholar
  12. [ROB 2]
    ROBINET B., De la Sémantique Dénotationnelle. UNIVERSITE PARIS VII no 79–3, 1979.Google Scholar
  13. [SCO 1]
    SCOTT D., STRACHEY C., Towards a Mathematical Semantics for Computer Language, Proc. Symposium on Computer and Automata. Polytechnique Institute or Brooklyn, 1971, p. 437–453.Google Scholar
  14. [STR 1]
    STRACHEY C., A Mathematical Semantics Wich can Deal With Full Jumps, Seminaire IRIA, Théorie des Algorithmes, des Langages et de la Programmation, 1973, 1973, p. 175–191Google Scholar
  15. [STR 2]
    STRACHEY C., WADSWORTH C., Continuations: A Mathematical Semantics for Handling Full Jumps, Oxford University, 1974.Google Scholar
  16. [TEN 1]
    TENNENT R.D., The Denotational Semantics of Programming Languages. Comm. ACM, Vol. 19, no 8, 1976, p. 437–452.Google Scholar
  17. [SET 1]
    SETHI R. Semantics of Computer Programs: Overview of Language Definition Methods Ecole de Sémantique, Ecoles des Mines-Sofia Antipolis (Oct. 77).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1980

Authors and Affiliations

  • P. Sallé
    • 1
  1. 1.Laboratoire "Langages et Systèmes Informatiques"Universite Paul SabatierToulouse Cedex

Personalised recommendations