Edmund Melson Clarke, Jr.
Edmund Melson Clarke Jr.
Programming language constructs for which it is impossible to obtain good Hoare axiom systems.
Journal of the ACM
, 26(1):129-147, January 1979.
Citations.
Edmund M. Clarke, Jr., Steven M. German, and Joseph Y. Halpern.
Effective axiomatizations of Hoare logics.
Journal of the ACM
, 30(3):612-636, July 1983.
A. P. Sistla and E. M. Clarke.
The complexity of propositional linear temporal logics.
Journal of the ACM
, 32(3):733-749, July 1985.
Citations.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database