A kripke logical relation for effect-based program transformations-Reference-Cited by-同舟云学术

A kripke logical relation for effect-based program transformations

Published:2011-09-19 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
language:
Short-container-title:

Author:

Thamsborg Jacob¹,Birkedal Lars¹

Affiliation:

1. IT University of Copenhagen, Copenhagen, Denmark

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2034773.2034831

Reference20 articles.

1. State-dependent representation independence

2. A. J. Ahmed . Step-indexed syntactic logical relations for recursive and quantified types . In P. Sestoft editor ESOP volume 3924 of Lecture Notes in Computer Science pages 69 -- 83 . Springer 2006 . ISBN 3-540-33095-X. 10.1007/11693024_6 A. J. Ahmed. Step-indexed syntactic logical relations for recursive and quantified types. In P. Sestoft editor ESOP volume 3924 of Lecture Notes in Computer Science pages 69--83. Springer 2006. ISBN 3-540-33095-X. 10.1007/11693024_6

3. Better static memory management

4. Semantics of an effect analysis for exceptions

5. Reading, Writing and Relations

Cited by 15 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Logical Approach to Type Soundness;Journal of the ACM;2024-07-10

2. Later credits: resourceful reasoning for the later modality;Proceedings of the ACM on Programming Languages;2022-08-29

3. StkTokens: Enforcing well-bracketed control flow and stack encapsulation using linear capabilities;Journal of Functional Programming;2021

4. Reasoning about a Machine with Local Capabilities;ACM Transactions on Programming Languages and Systems;2020-03-31

5. A logical relation for monadic encapsulation of state: proving contextual equivalences in the presence of runST;Proceedings of the ACM on Programming Languages;2018-01