ACM SIGPLAN Notices

Paper

04 Jan 1980

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

Abstract

No abstract available.

Conference paper

Expecting the unexpected: Developing autonomous-system design principles for reacting to unpredicted events and conditions

Assaf Marron, Lior Limonad, et al.

SEAMS 2020

Paper

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

David Harel

Theoretical Computer Science

Conference paper

Recursion in logics of programs

David Harel

POPL 1979

Paper

On the total correctness of nondeterministic programs

David Harel

Theoretical Computer Science

View all publications