A Logic for Expressions with Side-Effects.

Hans-Juergen Boehm

Browse the full POPL paper archive.