![]() |
COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. | ![]() |
University of Cambridge > Talks.cam > Logic and Semantics Seminar (Computer Laboratory) > A Theory of Indirection via Approximation
A Theory of Indirection via ApproximationAdd to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact Matthew Parkinson. Building semantic models that account for various kinds of indirect reference has traditionally been a difficult problem. Indirect reference can appear in many guises, such as heap pointers, higher-order functions, object references, and shared-memory mutexes. We give a general method to construct models containing indirect reference by presenting a “theory of indirection”. Our method can be applied in a wide variety of settings and uses only simple, elementary mathematics. In addition to various forms of indirect reference, the resulting models support powerful features such as impredicative quantification and equirecursion; moreover they are compatible with the kind of powerful substructural accounting required to model (higher-order) separation logic. In contrast to previous work, our model is easy to apply to new settings and has a simple axiomatization, which is complete in the sense that all models of it are isomorphic. Our proofs are machine-checked in Coq. This talk is part of the Logic and Semantics Seminar (Computer Laboratory) series. This talk is included in these lists:
Note that ex-directory lists are not shown. |
Other listsBHRU Annual Lecture 2015 PublicHealth@Cambridge Continuity in Education and Cultural links between countries: Brexit Talk and Q&AOther talksProf Kate Jones (UCL): Biodiversity & Conservation MOVED TO 28 JUNE 2018 It takes two to tango:platelet collagen receptor GPVI-dimer in thrombosis and clinical implications Quotation and the Law Imaging techniques and novel tools for early detection and intervention Roland the Hero The Object of My Affection: stories of love from the Fitzwilliam collection |