New type signatures for legacy Fortran subroutines

PASTE 1999 - Proceedings of the 1999 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering

Volumn , Issue , 1999, Pages 76-85

  Williams Preston, Nicky ^a  

^a CNRS   (France)

Author keywords

alias analysis; array region; dynamic alias; Fortran; reverse engineering

Indexed keywords

ALGEBRA; CODES (SYMBOLS); FORTRAN (PROGRAMMING LANGUAGE); SPECIFICATIONS;

ALGEBRAIC SPECIFICATIONS; ALIAS ANALYSIS; ARRAY REGION; DYNAMIC ALIAS; FORTRAN; FORTRAN CODE; FORTRAN SUBROUTINE; METHODOLOGICAL FRAMEWORKS; PARALLELIZATION TOOLS; PRECISE ANALYSIS;

REVERSE ENGINEERING;

EID: 32144447496     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/381788.316184     Document Type: Conference Paper

References (12)

1. AHO, A., SETHI, R., AND ULLMAN, J. Compilers: Principles, Techniques and Tools. Addison-Wesley, Massachusetts, 1986.
2. See http://www.brics.dk/Projects/CoFI/.
3. CREUSILLET, B. Array Region Analyses and Applications. PhD thesis, Ecole des Mines de Paris, December 1996. Available at http://www.cri.ensmp.fr/pips/.
4. CREUSILLET, B., AND IRIGOIN, F. Interprocedural array region analyses. In proc. Workshop on Languages and Compilers for Parallel Computing, LCPC'95, Columbus, Ohio, USA, 10-12 August, 1995 (1995). Also available as TR A/270 at http://www.cri.ensmp.fr/pips/.
5. CYTRON, R., FERRANTE, J., ROSEN, B. K., WEGMAN, M. N., AND ZADECK, F. K. Efficiently computing single static assignment form and the control dependence graph. ACM Transactions on Programming Languages and Systems (TOPLAS) 13, 4 (1991), 451-490.
6. IRIGOIN, F., JOUVELOT, P., AND TRIOLET, R. Semantical interprocedural parallelisation: An overview of the PIPS project. In proc. International Conference on Supercomputing, June 1991 (1991), pp. 144-151. Available at http://www.cri.ensmp.fr/pips/.
7. MILNER, R. A theory of type polymorphism in programming. Journal of Computer and System Sciences 17,4 (1978), 348-375.
8. O'CALLAHAN, R., AND JACKSON, D. Lackwit: A program understanding tool based in type inference. In International Conference on Software Engineering, Boston, MA, 1997 (1997), pp. 338-348.
9. STEENSGAARD, B. Points-to analysis in almost linear time. In proc. Twentythird Annual ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, January 1996 (1996), pp. 32-41. Available at http://www.research.microsoft.com/rusa/papers.html.
10. WILLIAMS-PRESTON, N. An experiment in reverse engineering using algebraic specifications. Tech. Rep. 97-10, LSV, Ecole Normale Superieure de Cachan, 1997. Available at http://www.lsv.ens-cachan.fr/Publis/.
11. WIRSING, M. Algebraic specification. In Handbook of Theoretical Computer Science (BW, 1990), J. van Leeuwen, Ed., Elseiver, pp. 675-788.
12. ZHANG, S., RYDER, B. G., AND LANDI, W. Program decomposition for pointer aliasing: A step towards practical analyses. In Proceedings of the 4th Symposium on the Foundations of Software Engineering, San Francisco, October, 1996 (1996). Available at http://www.prolangs.rutgers.edu.