On correct procedure parameter transmission in higher programming languages

• 1 January 1973
• journal article
• Published by Springer Nature in Acta Informatica
• Vol. 2  (2) , 110-142
• https://doi.org/10.1007/bf00264026

Abstract

Keywords

• DECIDABILITY
• RECURSIVITY
• ALGOL
• FAIRER
• PARAMETER TRANSMISSIONS
• FORMAL PROCEDURE PARAMETERS