Static type analysis of pattern matching by abstract interpretation

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

Volumn 6117 LNCS, Issue , 2010, Pages 186-200

  Ferrara, Pietro ^a  

^a ETH ZURICH   (Switzerland)

Author keywords

Abstract interpretation; pattern matching; static analysis

Indexed keywords

ABSTRACT DOMAINS; ABSTRACT INTERPRETATION; ABSTRACT INTERPRETATIONS; DYNAMIC TYPING; FIRST DOMAIN; FUNCTIONAL PROGRAMMING LANGUAGES; MANUAL ANNOTATION; MATCHINGS; OBJECT-ORIENTED FEATURES; PROGRAMMING LANGUAGE; STATIC TYPE ANALYSIS; TYPE CAST;

FUNCTIONAL PROGRAMMING; LINGUISTICS; OBJECT ORIENTED PROGRAMMING; PATTERN MATCHING; PROGRAM INTERPRETERS; STATIC ANALYSIS; ABSTRACTING; COMPUTATIONAL LINGUISTICS; FORMAL METHODS; MODEL CHECKING;

ABSTRACTING; OBJECT ORIENTED PROGRAMMING;

EID: 77954629091     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-13464-7_15     Document Type: Conference Paper

References (26)

1. F#, http://research.microsoft.com/fsharp
2. Bacon, D.F., Sweeney, P.F.: Fast static analysis of C++ virtual function calls. In: OOPSLA 1996, pp. 324-341. ACM, New York (1996)
3. Cardelli, L.: Type systems. In: Tucker, A.B. (ed.) The Computer Science and Engineering Handbook, ch. 97. CRC Press, Boca Raton (2004)
4. Chase, D.R., Wegman, M., Zadeck, F.K.: Analysis of pointers and structures. In: PLDI 1990. ACM, New York (1990)
5. Cousot, P.: The calculational design of a generic abstract interpreter. In: Calculational System Design. NATO ASI Series F. IOS Press, Amsterdam (1999)
6. Cousot, P.: Constructive design of a hierarchy of semantics of a transition system by abstract interpretation. Theoretical Computer Science 277, 47-103 (2002)
7. Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: POPL 1977. ACM, New York (1977)
8. Cousot, P., Cousot, R.: Systematic design of program analysis frameworks. In: POPL 1979. ACM, New York (1979)
9. Dean, J., Grove, D., Chambers, C.: Optimization of object-oriented programs using static class hierarchy analysis. In: Olthoff, W. (ed.) ECOOP 1995. LNCS, vol. 952, pp. 77-101. Springer, Heidelberg (1995)
10. Dotta, M., Suter, P., Kuncak, V.: On static analysis for expressive pattern matching. Technical report, EPFL (2008)
11. Standard ECMA-335. Common Language Infrastructure (CLI), 4th edn. ECMA (June 2006)
12. Emir, B.: Object-oriented pattern matching. PhD thesis, EPFL (2007)
13. Emir, B., Ma, Q., Odersky, M.: Translation correctness for first-order object-oriented pattern matching. In: Shao, Z. (ed.) APLAS 2007. LNCS, vol. 4807, pp. 54-70. Springer, Heidelberg (2007)
14. Emir, B., Odersky, M., Williams, J.: Matching objects with patterns. In: Ernst, E. (ed.) ECOOP 2007. LNCS, vol. 4609, pp. 273-298. Springer, Heidelberg (2007)
15. Ferrara, P.: Checkmate: a generic static analyzer of java multithreaded programs. In: Proceedings of SEFM 2009. IEEE Computer Society, Los Alamitos (2009)
16. Hirzel, M., Nystrom, N., Bloom, B., Vitek, J.: Matchete: Paths through the pattern matching jungle. In: Hudak, P., Warren, D.S. (eds.) PADL 2008. LNCS, vol. 4902, pp. 150-166. Springer, Heidelberg (2008)
17. Kumar, R., Chakraborty, S.S.: Precise static type analysis for object oriented programs. SIGPLAN Not. 42, 17-26 (2007)
18. Lindholm, T., Yellin, F.: Java Virtual Machine Specification. Addison-Wesley Longman Publishing Co., Inc., Boston (1999)
19. Logozzo, F., Fähndrich, M.: On the relative completeness of bytecode analysis versus source code analysis. In: Hendren, L. (ed.) CC 2008. LNCS, vol. 4959, pp. 197-212. Springer, Heidelberg (2008)
20. Logozzo, F., Venter, H.: Rata: Rapid atomic type analysis by abstract interpretation. Application to JavaScript optimization. In: Gupta, R. (ed.) CC 2010. LNCS, vol. 6011, pp. 66-83. Springer, Heidelberg (2010)
21. Meyer, B.: Object-Oriented Software Construction, 2nd edn. Prentice Hall, Englewood Cliffs (1997)
22. Mitchell, N., Runciman, C.: Not all patterns, but enough: An automatic verifier for partial but sufficient pattern matching. SIGPLAN Not. 44, 49-60 (2009)
23. Odersky, M.: The Scala Language Specification (2008)
24. Richard, A., Lhotak, O.: Oomatch: pattern matching as dispatch in Java. In: OOPSLA 2007, pp. 771-772. ACM, New York (2007)
25. Spoto, F.: Julia: A Generic Static Analyser for the Java Bytecode. In: Proceedings of FTfJP 2005 (2005)
26. Syme, D., Neverov, G., Margetson, J.: Extensible pattern matching via a lightweight language extension. SIGPLAN Not. 42(9), 29-40 (2007)