Dynamic interpretation and hoare deduction

• 1 March 1992
• journal article
• Published by Springer Nature in Journal of Logic, Language and Information
• Vol. 1  (1) , 1-44
• https://doi.org/10.1007/bf00203385

Abstract

Keywords

• SENTENCES
• DEDUCTION
• STATIC
• HOARE
• DYNAMIC ASSIGNMENT LANGUAGE