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.
Chapter PDF
Similar content being viewed by others
Keywords
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
BACKUS J. Reduction Language and Variable-free Programming, IBM Research Report RJ 1010, IBM Research Laboratory, 1972, San José, Californie.
DURIEUX J.L., T-LISP le Système LISP de Toulouse Ecole IRIA de la Recherche, Toulouse, Mars 1978.
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.
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.
GREUSSAY P., Contribution à la Définition Interprétative et à l'Implémentation des Lambda-Languages, Thèse d'Etat, Paris 7, 1977.
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.
KOSTER A. An Algorithm for Translating LISP Programs into Reduction Language Programs, IVe International Symposium Programming, Paris, France, 1980.
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.
MAGO G., A Network of Microprocessors to Execute Reduction Languages, International Journal of Computer and Information Sciences, 1979, 5 et 6.
REYNOLDS J.C., Definitional Interpreters for Higher-Orders Programming Languages. Proc 25th ACM National Conférence, 1972, p. 717–740.
ROBINET B., Sémantique des Structures de Contrôle, RAIRO Informatique Théorique, Vol. 11, no 3, 1977, p. 213–236
ROBINET B., De la Sémantique Dénotationnelle. UNIVERSITE PARIS VII no 79–3, 1979.
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.
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–191
STRACHEY C., WADSWORTH C., Continuations: A Mathematical Semantics for Handling Full Jumps, Oxford University, 1974.
TENNENT R.D., The Denotational Semantics of Programming Languages. Comm. ACM, Vol. 19, no 8, 1976, p. 437–452.
SETHI R. Semantics of Computer Programs: Overview of Language Definition Methods Ecole de Sémantique, Ecoles des Mines-Sofia Antipolis (Oct. 77).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1980 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sallé, P. (1980). Échappements et continuations en semantique dénotationnelle. In: Robinet, B. (eds) International Symposium on Programming. Programming 1980. Lecture Notes in Computer Science, vol 83. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-09981-6_21
Download citation
DOI: https://doi.org/10.1007/3-540-09981-6_21
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-09981-9
Online ISBN: 978-3-540-39233-0
eBook Packages: Springer Book Archive