Computable queries for relational data bases
- Ashok K. chandra
- David Harel
- 1980
- Journal of Computer and System Sciences
Publications
16 results for David Harel
Proving the correctness of regular deterministic programs: A unifying survey using dynamic logic
- David Harel
- 1980
- Theoretical Computer Science
And/Or Programs: A New Approach to Structured Programming
- David Harel
- 1980
- ACM Transactions on Programming Languages and Systems (TOPLAS)
Two results on process logic
- David Harel
- 1979
- Information Processing Letters
Computable queries for relational data bases
- Ashok K. Chandra
- David Harel
- 1979
- STOC 1979
Recursion in logics of programs
- David Harel
- 1979
- POPL 1979