Une formalisation de la sémantique des langages de programmation
- 1 January 1976
- journal article
- Published by EDP Sciences in Revue française d'automatique informatique recherche opérationnelle. Informatique théorique
- Vol. 10 (R2) , 5-32
- https://doi.org/10.1051/ita/197610r200051
Abstract
No abstract availableThis publication has 8 references indexed in Scilit:
- Consistent and complementary formal theories of the semantics of programming languagesActa Informatica, 1974
- An axiomatic definition of the programming language PASCALActa Informatica, 1973
- An axiomatic basis for computer programmingCommunications of the ACM, 1969
- The correctness of programsJournal of Computer and System Sciences, 1969
- Définition et etude des Bilangages réguliersInformation and Control, 1968
- Semantics of context-free languagesTheory of Computing Systems, 1968
- Correspondence between ALGOL 60 and Church's Lambda-notationCommunications of the ACM, 1965
- ASPECTS OF THE THEORY OF SYNTAXPublished by Defense Technical Information Center (DTIC) ,1964