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

Proceedings of the 14th International Workshop on Logic, Language, Information and Computation (WoLLIC’07), pp. 189–202

Publication Date

2007

Identifiers

Source Materials