Programming language constructs for which it is impossible to obtain good Hoare axiom systems

The work

TitleProgramming language constructs for which it is impossible to obtain good Hoare axiom systems
AuthorsEdmund M. Clarke Jr.
Typearticle
Year1979
Citekeyclarke1979programming

Where it appeared

Published inJournal of the ACM
Volume26
Issue1
Pages129--147

Copy held

KindPDF, 1.0 MB
Retrieved2026-08-08
Heldlocal, for personal reference

Where this came from

How it got herethe agent went looking · found via bibtex
First seen2026-08-05
Standingendorsed
Approved2026-08-08
In: Journal of the ACM venue

Cite it as

@article{clarke1979programming,
  title = {Programming language constructs for which it is impossible to obtain good Hoare axiom systems},
  author = {Edmund M. Clarke Jr.},
  year = {1979},
  journal = {Journal of the ACM},
  volume = {26},
  number = {1},
  pages = {129--147},
}

This record lives at https://refs.drheap.org/clarke1979programming/ and will keep doing so.