A practical theory of programming

• 31 October 1990
• journal article
• Published by Elsevier in Science of Computer Programming
• Vol. 14  (2-3) , 133-158
• https://doi.org/10.1016/0167-6423(90)90018-9

Abstract

Keywords

• PRACTICAL THEORY
• PROGRAMMING PROGRAMS
• TERMINATION IS TIMING
• THEORY OF PROGRAMMING
• PROGRAMS ARE PREDICATES
• PROGRAMMING IS PROVING