Establishing object invariants with delayed types
暂无分享,去创建一个
[1] David Walker,et al. Alias Types , 2000, ESOP.
[2] Mads Tofte,et al. Implementation of the typed call-by-value λ-calculus using a stack of regions , 1994, POPL '94.
[3] David Walker,et al. Alias Types for Recursive Data Structures , 2000, Types in Compilation.
[4] James Cheney,et al. Region-based memory management in cyclone , 2002, PLDI '02.
[5] K. Rustan M. Leino,et al. The Spec# Programming System: An Overview , 2004, CASSIS.
[6] K. Rustan M. Leino,et al. Declaring and checking non-null types in an object-oriented language , 2003, OOPSLA.
[7] Patrice Chalin,et al. Non-null References by Default in Java: Alleviating the Nullity Annotation Burden , 2007, ECOOP.
[8] Albert L. Baker,et al. JML: A Notation for Detailed Design , 1999, Behavioral Specifications of Businesses and Systems.
[9] Derek Dreyer,et al. A type system for well-founded recursion , 2004, POPL.
[10] K. Rustan M. Leino,et al. Heap Monotonic Typestate , 2003 .
[11] Claudio V. Russo. Recursive Structures for Standard ML , 2001, ICFP.
[12] Don Syme. An Alternative Approach to Initializing Mutually Referential Objects , 2005 .