An Introduction to Context Logic
Authors
- Philippa Gardner
- Uri Zarfaty
Abstract
This paper provides a gentle introduction to Context Logic. It contains work previously published with Calcagno [1,2], and is based on Gardner’s notes for her course on Local Reasoning about Data Update at the Appsem PhD summer school [3] and Zarfaty’s thesis [4].
Venue
Workshop on Logic, Language, Information and Computation (WoLLIC) 2007
Publication Date
Jul 2007