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].
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Calcagno, C., Gardner, P., Zarfaty, U.: Context logic & tree update. In: Proceedings of POPL, pp. 271–282. ACM Press, New York (2005)
Calcagno, C., Gardner, P., Zarfaty, U.: Local reasoning about data update (to appear)
Gardner, P.: A note on context logic Notes accompanying a lecture course for the APPSEM summer school (2005)
Zarfaty, U.: Context Logic and Tree Update. PhD thesis, Imperial College (2007)
O’Hearn, P., Reynolds, J., Yang, H.: Local reasoning about programs that alter data structures. In: Fribourg, L. (ed.) CSL 2001 and EACSL 2001. LNCS, vol. 2142, pp. 1–19. Springer, Heidelberg (2001)
Berdine, J., Calcagno, C., Cook, B., Distefano, D., O’Hearn, P., Wies, T., Yang, H.: Shape analysis for composite data structures. CAV 2007 (to appear)
O’Hearn, P.: Resources, concurrency and local reasoning. Theoretical Computer Science 375(1), 271–307 (2007)
Cardelli, L., Gordon, A.: Anytime, anywhere: modal logics for mobile ambients. In: Proceedings of POPL, pp. 365–377. ACM Press, New York (2000)
Cardelli, L., Gordon, A.: TQL: a query language for semistructured data based on the ambient logic. Mathematical Structures in Computer Science 14(3), 285–327 (2004)
Calcagno, C., Gardner, P., Zarfaty, U.: Context logic as modal logic: Completeness and parametric inexpressivity. In: Proceedings of POPL, ACM Press, New York (2007)
O’Hearn, P.W., Pym, D.: The logic of bunched implications. Bulletin of Symbolic Logic 5(2), 215–244 (1999)
Pym, D., O’Hearn, P.W., Yang, H.: Possible worlds and resources: the semantics of BI. Theoretical Computer Science 315(1), 257–305 (2004)
Zarfaty, U., Gardner, P.: Local reasoning about tree update. In: Proceedings of MFPS. ENTCS, vol. 158, pp. 399–424. Elsevier, Amsterdam (2006)
Lozes, É.: Elimination of spatial connectives in static spatial logics. Theoretical Computer Science 330(3), 475–499 (2005)
Lozes, E.: Comparing the expressive power of separation logic and classical logic. Short Presentation (2004)
W3C: DOM: Document Object Model. W3C recommendation (April 2004), Available at http://www.w3.org/DOM/DOMTR
Calcagno, C., O’Hearn, P., Yang, H.: Local action and abstract separation logic. LICS 2007 (to appear)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Gardner, P., Zarfaty, U. (2007). An Introduction to Context Logic. In: Leivant, D., de Queiroz, R. (eds) Logic, Language, Information and Computation. WoLLIC 2007. Lecture Notes in Computer Science, vol 4576. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-73445-1_14
Download citation
DOI: https://doi.org/10.1007/978-3-540-73445-1_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-73443-7
Online ISBN: 978-3-540-73445-1
eBook Packages: Computer ScienceComputer Science (R0)