A type system for reachability and acyclicity

Lecture Notes in Computer Science

Volumn 3586, Issue , 2005, Pages 479-503

  Lu, Yi ^a   Potter, John ^a  

^a UNIVERSITY OF NEW SOUTH WALES   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT THEORY; CONTEXT SENSITIVE LANGUAGES; MATHEMATICAL MODELS; OPTIMIZATION; SECURITY OF DATA;

COMPILE-TIME KNOWLEDGE; HEAP CONTEXTS; INFORMATION FLOW SECURITY;

COMPUTER SCIENCE;

EID: 26444458837     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11531142_21     Document Type: Conference Paper

References (26)

1. J. Aldrich and C. Chambers. Ownership domains: Separating aliasing policy from mechanism. In European Conference for Object-Oriented Programming (ECOOP), July 2004.
2. P. S. Almeida. Balloon types: Controlling sharing of state in data types. Lecture Notes in Computer Science, 1241:32-59, 1997.
3. M. Barnett, R. DeLine, M. Fähndrich, K. R. M. Leino, and W. Schulte. Verification of object-oriented programs with invariants. In S. Eisenbach, G. T. Leavens, P. Müller, A. Poetzsch-Heffter, and E. Poll, editors, Formal Techniques for Javalike Programs (FTfJP), July 2003. Published as Technical Report 408 from ETH Zurich.
4. C. Boyapati, R. Lee, and M. Rinard. Ownership types for safe programming: Preventing data races and deadlocks. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), November 2002.
5. D. Clarke. Object Ownership and Containment. PhD thesis, School of Computer Science and Engineering, The University of New South Wales, Sydney, Australia, 2001.
6. D. G. Clarke, J. Noble, and J. M. Potter. Simple ownership types for object containment. In European Conference for Object-Oriented Programming (ECOOP), 2001.
7. D. G. Clarke, J. M. Potter, and J. Noble. Ownership types for flexible alias protection. In Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, pages 48-64. ACM Press, 1998.
8. D. E. Denning. A lattice model of secure information flow. Commun. ACM, 19(5):236-243, 1976.
9. D.E. Denning and P. J. Denning. Certification of programs for secure information flow. Commun. ACM, 20(7):504-513, 1977.
10. R. Ghiya and L. J. Hendren. Is it a tree, a dag, or a cyclic graph? a shape analysis for heap-directed pointers in c. In Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 1-15. ACM Press, 1996.
11. D. Grossman, G. Morrisett, T. Jim, M. Hicks, Y. Wang, and J. Cheney. Regionbased memory management in cyclone. In Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation, pages 282-293. ACM Press, 2002.
12. B. Hackett and R. Rugina. Region-based shape analysis with tracked locations. In POPL, pages 310-323, 2005.
13. N. Heintze and J. G. Riecke. The SLam calculus: programming with secrecy and integrity. In ACM, editor, Conference record of POPL '98: the 25th ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, San Diego, California, 19-21 January 1998, pages 365-377, New York, NY, USA, 1998. ACM Press.
14. L. J. Hendren, J. Hummel, and A. Nicolau. Abstractions for recursive pointer data structures: Improving the analysis and transformation of imperative programs. In Proceedings of the Conference on Programming Language Design and Implementation (PLDI), volume 27, pages 249-260, New York, NY, 1992. ACM Press.
15. M. Hind. Pointer analysis: haven't we solved this problem yet? In Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, pages 54-61. ACM Press, 2001.
16. J. Hogg. Islands: aliasing protection in object-oriented languages. In Conference proceedings on Object-oriented programming systems, languages, and applications, pages 271-285. ACM Press, 1991.
17. J. Hummel, L. J. Hendren, and A. Nicolau. A language for conveying the aliasing properties of dynamic, pointer-based data structures. In 8th International Parallel Processing Symposium, pages 208-216, Cancun, Mexico, 1994.
18. A. Igarashi and M. Viroli. On variance-based subtyping for parametric types. In Proceedings of the 16th European Conference on Object-Oriented Programming, pages 441-469. Springer-Verlag, 2002.
19. P. Müller and A. Poetzsch-Heffter. Universes: A type system for controlling representation exposure. Programming Languages and Fundamentals of Programming, 1999.
20. A. C. Myers. JFlow: Practical mostly-static information flow control. In Symposium on Principles of Programming Languages, pages 228-241, 1999.
21. K. Rustan, M. Leino, and P. Müller. Object invariants in dynamic contexts. In European Conference for Object-Oriented Programming (ECOOP), 2004.
22. M. Tofte and J.-P. Talpin. Implementation of the typed call-by-value lambdacalculus using a stack of regions. In Symposium on Principles of Programming Languages, pages 188-201, 1994.
23. M. Tofte and J.-P. Talpin. Region-based memory management. Information and Computation, 1997.
24. D. Volpano, G. Smith, and C. Irvine. A sound type system for secure flow analysis. Journal of Computer Security, 4(3): 167-187, 1996.
25. D. M. Volpano and G. Smith. A type-based approach to program security. In TAPSOFT, pages 607-621, 1997.
26. R. Wilhelm, S. Sagiv, and T. W. Reps. Shape analysis. In Computational Complexity, pages 1-17, 2000.