Conference paper
Recursion in logics of programs
David Harel
POPL 1979
Paper
“do considered od” considered odder than “do considered ob”
Abstract
No abstract available.
Related
David Harel
ACM Transactions on Programming Languages and Systems (TOPLAS)
David Harel, Amir Kantor, et al.
Science of Computer Programming
Ashok K. chandra, David Harel
Journal of Computer and System Sciences