2 citations · 6 across the 16 of their papers we have counts for
1 paper · 1 filter
M. H. van Emden
Matrix Code gives imperative programming a mathematical semantics and heuristic power comparable in quality to functional and logic programming. A program in Matrix Code is develop…