Fractional permissions without the fractions

Proceedings of the 13th Workshop on Formal Techniues for Java-Like Programs - FTfJP '11 ◽

10.1145/2076674.2076675 ◽

2011 ◽

Cited By ~ 10

Author(s):

Stefan Heule ◽

K. Rustan M. Leino ◽

Peter Müller ◽

Alexander J. Summers

Keyword(s):

Fractional Permissions

Download Full-text

Semantics of fractional permissions with nesting

ACM Transactions on Programming Languages and Systems ◽

10.1145/1749608.1749611 ◽

2010 ◽

Vol 32 (6) ◽

pp. 1-33 ◽

Cited By ~ 18

Author(s):

John Tang Boyland

Keyword(s):

Fractional Permissions

Download Full-text

Assuring Lock Usage in Multithreaded Programs with Fractional Permissions

2009 Australian Software Engineering Conference ◽

10.1109/aswec.2009.43 ◽

2009 ◽

Cited By ~ 2

Author(s):

Yang Zhao ◽

John Boyland

Keyword(s):

Multithreaded Programs ◽

Fractional Permissions

Download Full-text

Decision Procedures over Sophisticated Fractional Permissions

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-35182-2_26 ◽

2012 ◽

pp. 368-385 ◽

Cited By ~ 7

Author(s):

Xuan Bach Le ◽

Cristian Gherghina ◽

Aquinas Hobor

Keyword(s):

Decision Procedures ◽

Fractional Permissions

Download Full-text

Fractional Permissions

Lecture Notes in Computer Science - Aliasing in Object-Oriented Programming. Types, Analysis and Verification ◽

10.1007/978-3-642-36946-9_10 ◽

2013 ◽

pp. 270-288 ◽

Cited By ~ 3

Author(s):

John Boyland

Keyword(s):

Fractional Permissions

Download Full-text

Comprehending annotations on object-oriented programs using fractional permissions

International Workshop on Aliasing, Confinement and Ownership in Object-Oriented Programming - IWACO '09 ◽

10.1145/1562154.1562158 ◽

2009 ◽

Cited By ~ 3

Author(s):

John Boyland ◽

William Retert ◽

Yang Zhao

Keyword(s):

Object Oriented ◽

Fractional Permissions

Download Full-text

Fractional Permissions for Race-Free Mutable References in a Dataflow Intermediate Language

First Workshop on Programming Models and Languages for Distributed Computing on - PMLDC '16 ◽

10.1145/2957319.2957373 ◽

2016 ◽

Author(s):

Matteo Cimini ◽

Jeremy G. Siek

Keyword(s):

Intermediate Language ◽

Fractional Permissions

Download Full-text

Checking Interference with Fractional Permissions

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/3-540-44898-5_4 ◽

2003 ◽

pp. 55-72 ◽

Cited By ~ 149

Author(s):

John Boyland

Keyword(s):

Fractional Permissions

Download Full-text

Abstract Read Permissions: Fractional Permissions without the Fractions

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/978-3-642-35873-9_20 ◽

2013 ◽

pp. 315-334 ◽

Cited By ~ 14

Author(s):

Stefan Heule ◽

K. Rustan M. Leino ◽

Peter Müller ◽

Alexander J. Summers

Keyword(s):

Fractional Permissions

Download Full-text

Task-Aware Optimization of Dynamic Fractional Permissions

Languages and Compilers for Parallel Computing - Lecture Notes in Computer Science ◽

10.1007/978-3-319-09967-5_3 ◽

2014 ◽

pp. 39-54

Author(s):

Christoph M. Angerer

Keyword(s):

Fractional Permissions

Download Full-text

Alternate annotation checkers using fractional permissions

Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion - SPLASH '11 ◽

10.1145/2048147.2048178 ◽

2011 ◽

Author(s):

Chao Sun

Keyword(s):

Fractional Permissions

Download Full-text