Some natural structures which fail to possess a sound and decidable Hoare-like logic for their while-programs

The work

TitleSome natural structures which fail to possess a sound and decidable Hoare-like logic for their while-programs
AuthorsJan A. Bergstra; John V. Tucker
Typearticle
Year1982
Citekeybergstra1982some

Where it appeared

Published inTheoretical Computer Science
Volume17
Issue3
Pages303--315

Copy held

KindPDF, 1.5 MB
Retrieved2026-08-08
Heldlocal, for personal reference
Opens atpage 2

Where this came from

How it got herethe agent went looking · found via bibtex
First seen2026-08-05
Standingendorsed
Approved2026-08-08
In: Theoretical Computer Science venue

Cite it as

@article{bergstra1982some,
  title = {Some natural structures which fail to possess a sound and decidable Hoare-like logic for their while-programs},
  author = {Jan A. Bergstra and John V. Tucker},
  year = {1982},
  journal = {Theoretical Computer Science},
  volume = {17},
  number = {3},
  pages = {303--315},
}

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