Expecting the unexpected: Developing autonomous-system design principles for reacting to unpredicted events and conditions
- Assaf Marron
- Lior Limonad
- et al.
- 2020
- SEAMS 2020
Publications
Date
Featured collections
Popular topics
16 results for David Harel
Horn clauses and the fixpoint query hierarchy
- Ashok K. Chandra
- David Harel
- 1982
- SIGMOD/PODS 1982
Structure and complexity of relational queries
- Ashok K. Chandra
- David Harel
- 1980
- FOCS 1980
Process logic: Expressiveness, decidability, completeness
- David Harel
- Dexter Kozen
- et al.
- 1980
- FOCS 1980
Computable queries for relational data bases
- Ashok K. Chandra
- David Harel
- 1979
- STOC 1979
Recursion in logics of programs
- David Harel
- 1979
- POPL 1979
On Folk Theorems
- David Harel
- 1980
- CACM
“do considered od” considered odder than “do considered ob”
- David Harel
- 1980
- ACM SIGPLAN Notices
And/Or Programs: A New Approach to Structured Programming
- David Harel
- 1980
- ACM Transactions on Programming Languages and Systems (TOPLAS)
Towards behavioral programming in distributed architectures
- David Harel
- Amir Kantor
- et al.
- 2015
- Science of Computer Programming