A Type System for Reachability and Acyclicity
暂无分享,去创建一个
[1] Paulo Sérgio Almeida. Balloon Types: Controlling Sharing of State in Data Types , 1997, ECOOP.
[2] Jon G. Riecke,et al. The SLam calculus: programming with secrecy and integrity , 1998, POPL '98.
[3] Andrew C. Myers,et al. JFlow: practical mostly-static information flow control , 1999, POPL '99.
[4] James Cheney,et al. Region-based memory management in cyclone , 2002, PLDI '02.
[5] K. Rustan M. Leino,et al. Verification of Object-Oriented Programs with Invariants , 2003, J. Object Technol..
[6] James Noble,et al. Simple Ownership Types for Object Containment , 2001, ECOOP.
[7] Mirko Viroli,et al. On Variance-Based Subtyping for Parametric Types , 2002, ECOOP.
[8] James Noble,et al. Ownership types for flexible alias protection , 1998, OOPSLA '98.
[9] Alexandru Nicolau,et al. A language for conveying the aliasing properties of dynamic, pointer-based data structures , 1994, Proceedings of 8th International Parallel Processing Symposium.
[10] John Hogg. Islands: aliasing protection in object-oriented languages , 1991, OOPSLA 1991.
[11] K. Rustan M. Leino,et al. Object Invariants in Dynamic Contexts , 2004, ECOOP.
[12] Radu Rugina,et al. Region-based shape analysis with tracked locations , 2005, POPL '05.
[13] Peter J. Denning,et al. Certification of programs for secure information flow , 1977, CACM.
[14] Geoffrey Smith,et al. A Sound Type System for Secure Flow Analysis , 1996, J. Comput. Secur..
[15] Mads Tofte,et al. Region-based Memory Management , 1997, Inf. Comput..
[16] Geoffrey Smith,et al. A Type-Based Approach to Program Security , 1997, TAPSOFT.
[17] Craig Chambers,et al. Ownership Domains: Separating Aliasing Policy from Mechanism , 2004, ECOOP.
[18] Laurie J. Hendren,et al. Is it a tree, a DAG, or a cyclic graph? A shape analysis for heap-directed pointers in C , 1996, POPL '96.
[19] Michael Hind,et al. Pointer analysis: haven't we solved this problem yet? , 2001, PASTE '01.
[20] Mads Tofte,et al. Implementation of the typed call-by-value λ-calculus using a stack of regions , 1994, POPL '94.
[21] Reinhard Wilhelm,et al. Shape Analysis , 2000, CC.
[22] David Gerard Clarke,et al. Object ownership and containment , 2003 .
[23] Martin C. Rinard,et al. ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), November 2002 Ownership Types for Safe Programming: Preventing Data Races and Deadlocks , 2022 .
[24] Dorothy E. Denning,et al. A lattice model of secure information flow , 1976, CACM.
[25] Alexandru Nicolau,et al. Abstractions for recursive pointer data structures: improving the analysis and transformation of imperative programs , 1992, PLDI '92.