7 citations · 11 across the 10 of their papers we have counts for
10 papers
Egyptian multiplication and some of its ramifications
M. H. van Emden
Multiplication and exponentiation can be defined by equations in which one of the operands is written as the sum of powers of two. When these powers are non-negative integers, the…
Correct by construction
M. H. van Emden
Matrix code allows one to discover algorithms and to render them in code that is both compilable and is correct by construction. In this way the difficulty of verifying existing co…
Beyond Structured Programming
M. H. van Emden
The correctness of a structured program is, at best, plausible. Though this is a step forward compared to what came before, it falls short of verified correctness. To verify a stru…
The lambda mechanism in lambda calculus and in other calculi
M. H. van Emden
A comparison of Landin's form of lambda calculus with Church's shows that, independently of the lambda calculus, there exists a mechanism for converting functions with arguments in…
Set-Theoretic Preliminaries for Computer Scientists
M. H. van Emden
The basics of set theory are usually copied, directly or indirectly, by computer scientists from introductions to mathematical texts. Often mathematicians are content with special…
Computational Euclid
M. H. van Emden, B. Moa
We analyse the axioms of Euclidean geometry according to standard object-oriented software development methodology. We find a perfect match: the main undefined concepts of the axio…