Conclusion
C'est en considérant la Logique Combinatoire comme langage privilégié de programmation que cette notion de fonction sémantique est apparue et a permis cette présentation unifiée des langages ; toutefois l'ampleur du sujet fait que beaucoup de points sont encore dans l'ombre. Néanmoins, les concepts dégagés semblent fructueux et permettent déjà de rendre compte de notions aussi importantes que les affectations, tests et ruptures de séquence ; avec une modélisation des mémoires, modifiées et structurées par les affectations et les déclarations, et cette correspondance avec la Logique Combinatoire, il semble possible de définir d'une part l'interprétation et la sémantique d'un programme indépendamment de toute machine et, d'autre part, établir les propriétés d'un programme et en particulier avoir une méthode de preuve de correction.
Preview
Unable to display preview. Download preview PDF.
Références
Curry, H.B., et al. Combinatory Logic North Holland, tome 1 1958, tome 2 — 1972.
Hindley, C et al. Introduction to Combinatory Logic. Oxford University Press. 1972.
Nolin, L. Une théorie des algorithmes Mémoires du GRIT, Université Paris 7, 1973.
Landin, P. Mechanical evaluation of expressions Computer journal, vol.6, no4, janvier 1964.
Robinet, B. Sémantique des tableaux: application au langage APL. Thèse. Université Paris 6. 1972.
Robinet, B. Un modèle sémantique des languages. Publications de l'Institut de Programmation. 1973
Rights and permissions
Copyright information
© 1973 Springer-Verlag
About this paper
Cite this paper
Robinet, B. (1973). Un modele semantique pour un langage simple de programmation. In: GI Gesellschaft für Informatik e. V. 1. Fachtagung über Automatentheorie und Formale Sprachen. Lecture Notes in Computer Science, vol 2. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0039168
Download citation
DOI: https://doi.org/10.1007/BFb0039168
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-06527-2
Online ISBN: 978-3-540-37826-6
eBook Packages: Springer Book Archive