Problematic features of programming languages: a situational-calculus approach

• 1 December 1981
• journal article
• Published by Springer Nature in Acta Informatica
• Vol. 16  (4) , 371-426
• https://doi.org/10.1007/bf00264494

Abstract

Keywords

• CONCEPTUAL FRAMEWORK
• PROGRAMMING LANGUAGE
• ASSIGNMENT STATEMENT
• AXIOMATIC SYSTEM
• EXPLICIT REFERENCE