A Logic for Expressions with Side-Effects

Hans-Juergen Boehm. A Logic for Expressions with Side-Effects. In POPL. pages 268-280, 1982.

@inproceedings{Boehm82,
  title = {A Logic for Expressions with Side-Effects},
  author = {Hans-Juergen Boehm},
  year = {1982},
  tags = {logic},
  researchr = {https://researchr.org/publication/Boehm82},
  cites = {0},
  citedby = {0},
  pages = {268-280},
  booktitle = {POPL},
}