Program analysis tools

International Journal on Software Tools for Technology Transfer

Volumn 2, Issue 1, 1998, Pages 6-12

  Hankin, Chris ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

Abstract interpretation; Data flow analysis; Program analysis; Program analysis generator; Types and effects

Indexed keywords

ABSTRACT INTERPRETATIONS; PROGRAM ANALYSIS; SPECIAL SECTIONS; TYPES AND EFFECTS;

DATA FLOW ANALYSIS; INFORMATION SYSTEMS; SOFTWARE ENGINEERING;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 84896693052     PISSN: 14332779     EISSN: 14332787     Source Type: Journal    
DOI: 10.1007/s100090050014     Document Type: Article

References (16)

1. Aho, A., Sethi, R., Ullman, J.: Principles of Compiler Design. Reading, MA: Addison Wesley, 1986.
2. Amtoft, T., Nielson, H. R., Nielson, F.: Behaviour analysis for validating communication patterns. Software Tools for Technology Transfer 2(1): 13-28, 1998.
3. Codish, M., Demoen, B., Sagonas, K.: Semantics-based program analysis for logic-based languages using XSB. Software Tools for Technology Transfer 2(1): 29-45, 1998.
4. Cousot, P., Cousot, R.: Abstract interpretation: A unified lattice model for static analysis of programs. In: Proc. POPL'77, ACM Press, 1977.
5. Fecht, C., Seidl, H.: An even faster solver for general systems of equations. In: Proc. SAS '96. LNCS 1145. Berlin, Heidelberg, New York: Springer-Verlag, 1996.
6. Hankin, C., Le Métayer, D.: Deriving algorithms from type inference systems. In: Proc. POPL'94, ACM Press, 1994.
7. Hecht, M. S.: Flow Analysis of Computer Programs. Amsterdam: North-Holland, 1977.
8. Kam, J. B., Ullman, J. D.: Monotone data flow analysis frameworks. Acta Informatica 7, 305-317, 1977.
9. Kildall, G.: A unified approach to global program optimization. In: Proc. POPL'73, ACM Press, 1973.
10. Martin, F.: PAG-An efficient program analyzer generator. Software Tools for Technology Transfer 2(1): 46-67, 1998.
11. Milner, R.: A theory of type polymorphism in programming. J. Comp. System Sci. 17, 348-375, 1978.
12. Nielson, F., Nielson, H. R., Hankin, C.: Principles of program analysis-flows and effects. (Book, to appear).
13. Sagonas, K., Swift, T., Warren, D. S.: XSB as an efficient deductive database engine. In: Proc. ACM SIGMOD Conf. on the Management of Data, ACM Press, 1994.
14. Schmidt, D.: Data flow analysis is model checking of abstract interpretations. In: Proc. POPL'98, ACM Press, 1998.
15. Sharir, M., Pnueli, A.: Two Approaches to Interprocedural Data Flow Analysis. In: Muchnick, S. S., Jones, N. D. (eds.): Program Flow Analysis, Englewood Cliffs, NJ: Prentice Hall International, 1981.
16. Steffen, B.: Generating data flow analyses from modal specifications. Sci. Comp. Program. 21, 1993.