Checking Interference with Fractional Permissions-Reference-Cited by-同舟云学术

Checking Interference with Fractional Permissions

Published:2003 Issue: Volume: Page:55-72
ISSN:0302-9743
Container-title:Static Analysis
language:
Short-container-title:

Author:

Boyland John

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-44898-5_4

Reference25 articles.

1. Jouvelot, P., Gifford, D.K.: Algebraic reconstruction of types and effects. In: Conference Record of the Eighteenth Annual ACM SIGACT/SIGPLAN Symposium on Principles of Programming Languages. ACM Press, New York (1991) 303–310

2. Talpin, J.P., Jouvelot, P.: Polymorphic type, region and effect inference. Journal of Functional Programming 2 (1992) 245–271

3. Reynolds, J.C.: Syntactic control of interference. In: Conference Record of the Fifth ACM Symposium on Principles of Programming Languages, New York, ACM Press (1978) 39–46

4. Lect Notes Comput Sci;A. Greenhouse,1999

5. Clarke, D., Drossopoulou, S.: Ownership, encapsulation and the disjointness of type and effect. In: OOPSLA’02 Conference Proceedings—Object-Oriented Programming Systems, Languages and Applications. Volume 37., New York, ACM Press (2002) 292–310

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

1. Borrowable Fractional Ownership Types for Verification;Lecture Notes in Computer Science;2023-12-30

2. Joining Forces! Reusing Contracts for Deductive Verifiers Through Automatic Translation;iFM 2023;2023-11-06

3. Leaf: Modularity for Temporary Sharing in Separation Logic;Proceedings of the ACM on Programming Languages;2023-10-16

4. Embedding Hindsight Reasoning in Separation Logic;Proceedings of the ACM on Programming Languages;2023-06-06

5. CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity;Proceedings of the ACM on Programming Languages;2023-06-06