Reasoning about imperative and higher-order programs
Contextual equivalence, namely the property that two expressions are indistinguishable inside any program context, is a fundamental property of program expressions. Discovering methods that enable formal reasoning about contextual equivalence is hard and highly dependent on the features of the progr...
| Published: |
|
|---|---|
| Online Access: | http://hdl.handle.net/2047/d10016545 |