Tracking linear and affine resources with JAVA(X)

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4609 LNCS, Issue , 2007, Pages 550-574

  Degen, Markus ^a   Thiemann, Peter ^a   Wehr, Stefan ^a  

^a UNIVERSITY OF FREIBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; RESOURCE ALLOCATION;

DROPPABILITY; GENERIC TYPE SOUNDNESS; REFINEMENT TYPING;

JAVA PROGRAMMING LANGUAGE;

EID: 38149115475     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-73589-2_26     Document Type: Conference Paper

References (31)

1. Andreae, C., Noble, J., Markstrum, S., Millstein, T.: A framework for implementing pluggable type systems. In: Proc. 21th ACM Conf. OOPSLA, Portland, OR, USA, pp. 57-74. ACM Press, Portland (2006)
2. Boyapati, C., Liskov, B., Shrira, L.: Ownership types for object encapsulation. In: Morrisett, G. (ed.) Proc. 30th ACM Symp. POPL, New Orleans, LA, USA, January 2003, (ACM SIGPLAN Notices (38)1) pp. 213-223. ACM Press, New York (2003)
3. Boyland, J.: Checking interference with fractional permissions. In: Cousot, R. (ed.) SAS 2003. LNCS, vol. 2694, pp. 55-72. Springer, Heidelberg (2003)
4. Boyland, J., Noble, J., Retert, W.: Capabilities for sharing: A generalisation of uniqueness and read-only. In: Knudsen, J.L. (ed.) ECOOP 2001. LNCS, vol. 2072, pp. 2-27. Springer, Heidelberg (2001)
5. Boyland, J.T., Retert, W.: Connecting effects and uniqueness with adoption. In: Abadi, M. (ed.) Proc. 32nd ACM Symp. POPL, January 2005, pp. 283-295. ACM Press, New York (2005)
6. Cardelli, L.: A semantics of multiple inheritance. Information and Computation 76(2/3), 138-164 (1988)
7. Chin, B., Markstrum, S., Millstein, T.: Semantic type qualifiers. In: Proc. 2005 ACM Conf. PLDI, pp. 85-95. ACM Press, New York (2005)
8. DeLine, R., Fähndrich, M.: Enforcing high-level protocols in low-level software. In: Proc. 2001 PLDI, Snowbird, UT, United States, June 2001, pp. 59-69. ACM Press, New York, USA (2001)
9. DeLine, R., Fähndrich, M.: Typestates for objects. In M. Odersky, editor, 18th ECOOP. In: Odersky, M. (ed.) ECOOP 2004. LNCS, vol. 3086, pp. 465-490. Springer, Heidelberg (2004)
10. Flanagan, C., Freund, S.N.: Type-based race detection for Java. In: Proceedings of the 2000 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) (SIGPLAN Notices), Vancouver, British Columbia, Canada, June 2000, vol. 35(5), pp. 219-232. ACM Press, New York (2000)
11. Flanagan, C., Qadeer, S.: A type and effect system for atomicity. In: Proc. 2003 PLDI, pp. 338-349. ACM Press, New York (2003)
12. Flanagan, C., Sabry, A., Duba, B.F., Felleisen, M.: The essence of compiling with continuations. In: Proc. 1993 PLDI, pp. 237-247, Albuquerque, New Mexico (June 1993)
13. Flatt, M., Krishnamurthi, S., Felleisen, M.: A programmer's reduction semantics for classes and mixins. In: Alves-Foss, J. (ed.) Formal Syntax and Semantics of Java. LNCS, vol. 1523, pp. 241-269. Springer, Heidelberg (1999)
14. Foster, J.S., Terauchi, T., Aiken, A.: Flow-sensitive type qualifiers. In: Proc. 2002 PLDI, Berlin, Germany, June 2002, pp. 1-12. ACM Press, New York (2002)
15. Freeman, T., Pfenning, F.: Refinement types for ML. In: Proc. PLDI '91, Toronto, Canada, June 1991, pp. 268-277. ACM Press, New York (1991)
16. Hofmann, M., Jost, S.: Type-based amortised heap-space analysis. In: Sestoft, P. (ed.) ESOP 2006 and ETAPS 2006. LNCS, vol. 3924, Springer, Heidelberg (2006)
17. Lam, P., Kuncak, V., Rinard, M.: Crosscutting techniques in program specification and analysis. In: AOSD '05: Proceedings of the 4th international conference on Aspect-oriented software development, pp. 169-180. ACM Press, New York (2005)
18. Mandelbaum, Y., Walker, D., Harper, R.: An effective theory of type refinements. In: Shivers, O. (ed.) Proc. Intl. Conf. Functional Programming 2003, Uppsala, Sweden, August 2003, pp. 213-225. ACM Press, New York (2003)
19. Mitchell, J.C.: Toward a typed foundation for method specialization and inheritance. In: Proc. 17th ACM Symp. POPL, January 1990, pp. 109-124. ACM Press, San Francisco, CA (1990)
20. Noble, J., Vitek, J., Potter, J.: Flexible alias protection. In: Jul, E. (ed.) ECOOP 1998. LNCS, vol. 1445, pp. 158-185. Springer, Heidelberg (1998)
21. Odersky, M., Sulzmann, M., Wehr, M.: Type inference with constrained types. Theory and Practice of Object Systems 5(1), 35-55 (1999)
22. Palsberg, J.: Type-based analysis and applications. In: ACM. (ed.) ACM SIGPLAN - SIGSOFT Workshop on Program Analysis for Software Tools and Engineering: PASTE'01, June 09, pp. 20-27. ACM Press, New York (2001)
23. Pierce, B.C.: Types and Programming Languages. MIT Press, Cambridge (2002)
24. Schrefl, M., Stumptner, M.: Behavior-consistent specialization of object life cycles. ACM Trans. Software Engineering and Methodology 11(1), 92-148 (2002)
25. Strom, R.E., Yellin, D.M.: Extending typestate checking using conditional liveness analysis. IEEE Trans. Softw. Eng. 19(5), 478-485 (1993)
26. Strom, R.E., Yemini, S.: Typestate: A programming language concept for enhancing software reliability. IEEE Trans. Softw. Eng. 12(1), 157-171 (1986)
27. Thiemann, P.: A type safe DOM API. In: Bierman, G., Koch, C. (eds.) DBPL 2005. LNCS, vol. 3774, Springer, Heidelberg (2005)
28. Walker, D.: Substructural type systems. In: Pierce, B.C. (ed.) Advanced Topics in Types and Programming Languages, chapter 1, MIT Press, Cambridge (2005)
29. Wright, A., Felleisen, M.: A syntactic approach to type soundness. Information and Computation 115(1), 38-94 (1994)
30. Xi, H., Pfenning, F.: Dependent types in practical programming. In: Aiken, A. (ed.) Proc. 26th ACM Symp. POPL, January 1999, pp. 214-227. ACM Press, New York (1999)
31. Zhao, T., Palsberg, J., Vitek, J.: Lightweight confinement for Featherweight Java. In: Proc. 18th ACM Conf. OOPSLA, Anaheim, CA, USA, 2003, pp. 135-148. ACM Press, New York (2003)