Equivalence of the Gries and Martin proof rules for procedure calls
Acta Informatica
A sharp proof rule for procedures in wp semantics
Acta Informatica
Programming in the 1990s: an introduction to the calculation of programs
Programming in the 1990s: an introduction to the calculation of programs
Programming: the derivation of algorithms
Programming: the derivation of algorithms
A logical approach to discrete math
A logical approach to discrete math
Proceedings of the international conference on Programming languages and system architectures
Derivation of programs for freshmen
SIGCSE '94 Proceedings of the twenty-fifth SIGCSE symposium on Computer science education
The Science of Programming
A Discipline of Programming
A Method of Programming
Predicate Transformer Semantics of an Oberon-Like Language
PROCOMET '94 Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi
| Hi-index | 0.00 |