ACM SIGPLAN Notices

Paper

04 Jan 1980

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

Abstract

No abstract available.

Paper

Two results on process logic

David Harel

Information Processing Letters

Paper

Computable queries for relational data bases

Ashok K. chandra, David Harel

Journal of Computer and System Sciences

Paper

On the total correctness of nondeterministic programs

David Harel

Theoretical Computer Science

Paper

Proving the correctness of regular deterministic programs: A unifying survey using dynamic logic

David Harel

Theoretical Computer Science

View all publications