A simplified guide to structured COBOL programming (2nd ed.)
A simplified guide to structured COBOL programming (2nd ed.)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Logical construction of software
Communications of the ACM
Social processes and proofs of theorems and programs
Communications of the ACM
Communicating sequential processes
Communications of the ACM
What can we do about the unnecessary diversity of notation for syntactic definitions?
Communications of the ACM
Logical Construction of Systems
Logical Construction of Systems
Software Development: A Rigorous Approach
Software Development: A Rigorous Approach
A Discipline of Programming
Principles of Program Design
Hi-index | 0.00 |
In spite of their importance in the world of computing, business data processing programming techniques have scarcely been studied in the recent literature on program verification and program synthesis (see among others (D, Jo)). Some authors seem to tacitly assume that business data processing programs are straightforward and can be constructed according to the same principles that apply to well-studied programs such as factorial, greatest common divisor, or sorting. Within a completely different research framework, Warnier (W) and Jackson (J) have shown that these programs indeed are structurally interesting and have their own rules of construction (see (CY) for a tutorial on these ideas). This paper attempts to bridge the gap existing between these two schools of thought.