Local actions for a curry-style operational semantics


Soundness proofs of program logics such as Hoare logics and type systems are often made easier by <i>decorating</i> the operational semantics with information that is useful in the proof. However, modifying the operational semantics to carry around such information can make it more difficult to show that the operational semantics corresponds to what… (More)
DOI: 10.1145/1929529.1929535


3 Figures and Tables

Cite this paper

@inproceedings{Stewart2011LocalAF, title={Local actions for a curry-style operational semantics}, author={Gordon Stewart and Andrew W. Appel}, booktitle={PLPV}, year={2011} }