Resource usage analysis for a functional language with exceptions

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation

Volumn , Issue , 2006, Pages 38-47

  Iwama, Futoshi ^a   Igarashi, Atsushi ^b   Kobayashi, Naoki ^a  

^a TOHOKU UNIVERSITY   (Japan)

^b KYOTO UNIVERSITY   (Japan)

Author keywords

Effect system; Exception; Resource usage analysis; Type inference; Type system

Indexed keywords

EFFECT SYSTEM; RESOURCE USAGE ANALYSIS; TYPE INFERENCE; TYPE SYSTEM;

COMPUTER SIMULATION; FUNCTIONAL ANALYSIS; SEMANTICS; SOFTWARE PROTOTYPING; STORAGE ALLOCATION (COMPUTER);

COMPUTER PROGRAMMING LANGUAGES;

EID: 34250647106     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1111542.1111550     Document Type: Conference Paper

References (27)

1. A. Aiken, M. Fähndrich, and R. Levien. Improving region-based analysis of higher-order languages. In Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 174-185, 1995.
2. T. Ball and S. K. Rajamani. The SLAM project: Debugging system software via static analysis. In Proceedings of ACM SIGPLAN/SIGACT Symposium on Principles of Programming Languages, pages 1-3, 2002.
3. G. Bigliardi and C. Laneve. A type system for JVM threads. In Proceedings of 3rd ACM SIGPLAN Workshop on Types in Compilation (TIC2000), Montreal, Canada, 2000.
4. R. DeLine and M. Fähndrich. Adoption and focus: Practical linear types for imperative programming. In Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation, 2002.
5. R. DeLine and M. Fähndrich. Typestates for objects. In M. Odersky, editor, ECOOP, volume 3086 of Lecture Notes in Computer Science, pages 465-490. Springer, 2004.
6. J. Field, D. Goyal, G. Ramalingam, and E. Yahav. Typestate verification: Abstraction techniques and complexity results. In R. Cousot, editor, SAS, volume 2694 of Lecture Notes in Computer Science, pages 439-462. Springer, 2003.
7. J. S. Foster, T. Terauchi, and A. Aiken. Flow-sensitive type qualifiers. In Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation, 2002.
8. S. N. Freund and J. C. Mitchell. The type system for object, initialization in the Java bytecode language. ACM Transactions on Programming Languages and Systems, 21(6): 1196-1250, 1999.
9. T. A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre. Lazy abstraction. In Proceedings of ACM SIGPLAN/SIGACT Symposium on Principles of Programming Languages, pages 58-70, 2002.
10. A. Igarashi and N. Kobayashi. Resource usage analysis. ACM Transactions on Programming Languages and Systems, 27(2):264-313, Mar. 2005.
11. F. Iwama, A. Igarashi, and N. Kobayashi. Resource usage analysis for a functional language with exceptions, 2005. Full version. Available from http://www.kb.ecei.tohoku.ac.jp/iwama./ rue/res-use-exce-full.pdf.
12. F. Iwama and N. Kobayashi. A new type system for JVM lock primitives. In Proceedings of AS/A-PEPM'02, pages 156-168. ACM Press, 2002.
13. N. Kobayashi. Quasi-linear types. In Proceedings of ACM SIGPLAN/SIGACT Symposium on Principles of Programming Languages, pages 29-42, 1999.
14. N. Kobayashi. Time regions and effects for resource usage analysis. In Proceedings of ACM SIGPLAN International Workshop on Types in Languages Design and Implementation (TLDI'03), pages 50-61, 2003.
15. N. Kobayashi, K. Suenaga, and L. Wischik. Resource usage analysis for π-calculus. In Proceedings of VMCAI'06, 2006.
16. I. Mackie. Lilac: A functional programming language based on linear logic. Journal of Functional Programming, 4(4): 1-39, October 1994.
17. F. Pessaux and X. Leroy. "type-based analysis of uncaught exceptions. In Proceedings of ACM SIGPLAN/SIGACT Symposium on Principles of Programming Languages, pages 276-290, 1999.
18. J. Rehof and T. Mogensen. Tractable constraints in finite semilattices. Science of Computer Programming, 35(2):191-221, 1999.
19. C. Skalka and S. Smith. History effects and verification. In Proceedings of APLAS 2004, volume 3302 of Lecture Notes in Computer Science, pages 107-128. Springer-Verlag, 2004.
20. R. E. Strom and S. Yemini. Typestate: A programming language concept for enhancing software reliability. IEEE, Transactions on Software Engineering, 12(1): 157-171, Jan. 1986.
21. J.-P. Talpin and P. Jouvelot. The type and effect discipline. In Proceedings of IEEE Symposium on Logic in Computer Science, pages 162-173, 1992.
22. M. Tofte and J.-P. Talpin. Region-based memory management. Information and Computation, 132(2): 109-176, 1997.
23. D. N. Turner, P. Wadler, and C. Mossin. Once upon a type. In Proceedings of Functional Programming Languages and Computer Architecture, pages 1-11, 1995.
24. D. Walker, K. Crary, and J. O. Morrisett. Typed memory management via static capabilities. ACM Transactions on Programming Languages and Systems, 22(4):701-771, 2000.
25. Z. Xu, B. P. Miller, and T. Reps. Safety checking of machine code. In PLDI '00: Proceedings of the ACM SICPLAN 2000 conference on Programming language design and implementation, pages 70-82, New York, NY, USA, 2000. ACM Press.
26. Z. Xu, T. W. Reps, and B. P. Miller. Typestate checking of machine code. In ESOP '01: Proceedings of the 10th European Symposium on Programming Languages and Systems, pages 335-351, London, UK, 2001. Springer-Verlag.
27. K. Yi. Compile-time detection of uncaught exceptions in Standard ML programs. In Proceedings of SAS'94, volume 864 of Lecture Notes in Computer Science, pages 238-254, 1994.