Dependent types for program understanding

Lecture Notes in Computer Science

Volumn 3440, Issue , 2005, Pages 157-173

  Komondoor, Raghavan ^a   Ramalingam, G ^a   Chandra, Satish ^a   Field, John ^a  

^a IBM RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; ALGORITHMS; COMPUTER PROGRAM LISTINGS; DATA REDUCTION; DATA STRUCTURES; INFERENCE ENGINES; LEGACY SYSTEMS; SEMANTICS;

DATA ABSTRACTIONS; PROGRAM TRANSFORMATIONS; TYPE INFERENCE;

COBOL (PROGRAMMING LANGUAGE);

EID: 24644486127     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-31980-1_11     Document Type: Conference Paper

References (11)

1. G. Canfora, A. Cimitile, and G. A. D. Lucca. Recovering a conceptual data model from cobol code. In Proc. 8th Intl. Conf. on Softw. Engg. and Knowledge Engg. (SEKE '96), pages 277-284. Knowledge Systems Institute, 1996.
2. B. Demsky and M. Rinard. Role-based exploration of object-oriented programs. In Proc. 24th Intl. Conf. on Softw. Engg., pages 313-324. ACM Press, 2002.
3. P. H. Eidorff, F. Henglein, C. Mossin, H. Niss, M. H. Sorensen, and M. Tofte. Annodomini: from type theory to year 2000 conversion tool. In Proc. 26th ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages, pages 1-14. ACM Press, 1999.
4. M. D. Ernst, J. Cockrell, W. G. Griswold, and D. Notkin. Dynamically discovering likely program invariants to support program evolution. In Proc. 21st Intl. Conf. on Softw. Engg., pages 213-224. IEEE Computer Society Press, 1999.
5. D. Jackson. Alloy: A lightweight object modelling notation. ACM Transactions on Software Engineering and Methodology, 11 (2): 256-290, 2002.
6. R. O'Callahan and D. Jackson. Lackwit: a program understanding tool based on type inference. In Proc. 19th intl. conf. on Softw. Engg., pages 338-348. ACM Press, 1997.
7. G. Ramalingam, J. Field, and F. Tip. Aggregate structure identification and its application to program analysis. In Proc. 26th ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages, pages 119-132. ACM Press, 1999.
8. J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modeling Language Reference Manual (2nd Edition). Addison-Wesley Professional, 2004.
9. A. van Deursen and T. Kuipers. Identifying objects using cluster and concept analysis. In Proc. 21st Intl. Conf. on Softw. Engg., pages 246-255. IEEE Computer Society Press, 1999.
10. A. van Deursen and L. Moonen. Understanding COBOL systems using inferred types. In Proc. 7th Intl. Workshop on Program Comprehension, pages 74-81. IEEE Computer Society Press, 1999.
11. H. Xi. Dependent Types in Practical Programming. PhD thesis, Carnegie-Mellon University, 1998.