Correctness proofs of syntax directed processing, Description by attributes
Fait partie de Fonds Claude Pair
reprinted forum Journal of Computer and System Sciences
Vol. 19, No. 1, August 1979
Correctness proofs of syntax directed processing, Description by attributes
Claude Pair
Abstract data types and algebraic semantics of programming languages
Fait partie de Fonds Claude Pair
Theoretical Computer Science 18 (1982) 1-31
Abstract data types and algebraic semantics of programming languages, C. Pair
Claude Pair
A systematic study of models of abstract data types
Fait partie de Fonds Claude Pair
Centre de recherche en informatique de Nancy, A systematic study of models of abstract data types,
M. BROY, C. PAIR, M.WIRSING,
81-R-042
Claude Pair
New directions in algorithmic languages
Fait partie de Fonds Claude Pair
New directions in algorithmic languages, 1975,
Prepared for IFIP Working Group 2.1 on Algol,
Edited by Stephen A. Schuman
Claude Pair
Symposia Mathematica, volume XV
Fait partie de Fonds Claude Pair
Istituto Nazionale di Alta Matematica, Symposia Mathematica, volume XV,
Academic press London and New-York 1975,
Claude Pair
Formal languages and programming
Fait partie de Fonds Claude Pair
Formal languages and programming, edited by R. Aguilar
Claude Pair
Fait partie de Fonds Claude Pair
Lecture Notes in Computer Science, 69, program Construction
Claude Pair
Article Metatheory par C. Pair et A. Quere
Fait partie de Fonds Claude Pair
Mathematics of Computation, Computing reviews, September 1969
5.2 Metatheory
Definition and Study of regular bilanguages
Claude Pair
Exposés et communications scientifiques, et notes relatives rédigées par d'autres
Fait partie de Fonds Claude Pair
Communications de la journée algol 68
Fait partie de Fonds Claude Pair
Institut de Programmation
Communications de la journée algol 68
jeudi 26 avril 1973
Claude Pair