Proof rules for the programming language Euclid

• 1 January 1978
• journal article
• Published by Springer Nature in Acta Informatica
• Vol. 10  (1) , 1-26
• https://doi.org/10.1007/bf00260921

Abstract

Keywords

• LANGUAGE
• STYLE
• SPIRIT
• PASCAL
• MACHINE
• EUCLID
• INTENDED
• PREVIOUS
• HOARE
• AXIOMATIXATION