Paper
On Folk Theorems
David Harel
CACM
Paper
“do considered od” considered odder than “do considered ob”
Abstract
No abstract available.
Related
David Harel, Amir Kantor, et al.
Science of Computer Programming
Conference paper
Computable queries for relational data bases
Ashok K. Chandra, David Harel
STOC 1979
Conference paper
Recursion in logics of programs
David Harel
POPL 1979