An introduction to context logic

Authors:
Philippa Gardner;Uri Zarfaty
Affiliations:
Imperial College, London;Imperial College, London
Venue:
WoLLIC'07 Proceedings of the 14th international conference on Logic, language, information and computation
Year:
2007

Citing 10
Cited 3

Anytime, anywhere: modal logics for mobile ambients

Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
TQL: a query language for semistructured data based on the ambient logic

Mathematical Structures in Computer Science
Possible worlds and resources: the semantics of BI

Theoretical Computer Science - Mathematical foundations of programming semantics
Context logic and tree update

Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Elimination of spatial connectives in static spatial logics

Theoretical Computer Science - Expressiveness in concurrency
Context logic as modal logic: completeness and parametric inexpressivity

Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Resources, concurrency, and local reasoning

Theoretical Computer Science
Local Action and Abstract Separation Logic

LICS '07 Proceedings of the 22nd Annual IEEE Symposium on Logic in Computer Science
Local Reasoning About Tree Update

Electronic Notes in Theoretical Computer Science (ENTCS)
Shape analysis for composite data structures

CAV'07 Proceedings of the 19th international conference on Computer aided verification

A perdurant ontology for interoperating information systems based on interlocking institutional worlds

Applied Ontology
A perdurant ontology for interoperating information systems based on interlocking institutional worlds

Applied Ontology
Detecting conflicts among declarative UI extensions

Proceedings of the 8th symposium on Dynamic languages

Quantified Score

Hi-index	0.00

Visualization

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].