Formal derivation of a pattern matching algorithm
Science of Computer Programming
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
Research topics in functional programming
Research topics in functional programming
A logical approach to discrete math
A logical approach to discrete math
The Science of Programming
A Discipline of Programming
A Method of Programming
Rigorous proofs of program correctness without formal logic
SIGCSE '95 Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education
An experience teaching formal methods in discrete mathematics
ACM SIGCSE Bulletin
Derivation of recursive algorithms for CS2
SIGCSE '96 Proceedings of the twenty-seventh SIGCSE technical symposium on Computer science education
An undergraduate course in formal methods: “description is our business”
SIGCSE '98 Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education
| Hi-index | 0.00 |