Relational heuristics for the design of deterministic programs

• 1 June 1987
• journal article
• Published by Springer Nature in Acta Informatica
• Vol. 24  (3) , 239-276
• https://doi.org/10.1007/bf00265990

Abstract

Keywords

• RESOLUTION
• CALCULI
• STRUCTURED
• EQUATIONS
• DESIGN OF DETERMINISTIC
• SUFFICIENTLY
• DETERMINISTIC PROGRAMS
• RELATIONAL HEURISTICS