Systèmes de déduction pour les arbres et les schémas de programmes (I)

This publication has 15 references indexed in Scilit:

• Proof rules for gotos
  Acta Informatica, 1979
• Program equivalence and provability
  Published by Springer Nature ,1979
• Soundness and Completeness of an Axiom System for Program Verification
  SIAM Journal on Computing, 1978
• The algebraic semantics of recursive program schemes
  Published by Springer Nature ,1978
• An introduction to algorithmic logic. Metamathematical investigations in the theory of programs
  Banach Center Publications, 1977
• Computability and completeness in logics of programs (Preliminary Report)
  Published by Association for Computing Machinery (ACM) ,1977
• Guarded commands, nondeterminacy and formal derivation of programs
  Communications of the ACM, 1975
• Program proving: Jumps and functions
  Acta Informatica, 1972
• Tree acceptors and some of their applications
  Journal of Computer and System Sciences, 1970
• An axiomatic basis for computer programming
  Communications of the ACM, 1969