“do considered od” considered odder than “do considered ob”

David Harel

CACM

Ashok K. chandra, David Harel

Journal of Computer and System Sciences

David Harel

ACM Transactions on Programming Languages and Systems (TOPLAS)

Assaf Marron, Lior Limonad, et al.

SEAMS 2020