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 170 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into an Intermediate Verification Language;Proceedings of the ACM on Programming Languages;2024-06-20

2. Interactive Source-to-Source Optimizations Validated using Static Resource Analysis;Proceedings of the 13th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis;2024-06-20

3. Functional Ownership through Fractional Uniqueness;Proceedings of the ACM on Programming Languages;2024-04-29

4. First Steps towards Deductive Verification of LLVM IR;Lecture Notes in Computer Science;2024

5. Refinement Verification of OS Services based on a Verified Preemptive Microkernel;Lecture Notes in Computer Science;2024