Aggregate structure identification and its application to program analysis

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Aggregate structure identification and its application to program analysis

Full text

Pdf (1.92 MB)

Source

Annual Symposium on Principles of Programming Languages archive
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages table of contents

San Antonio, Texas, United States

Pages: 119 - 132

Year of Publication: 1999

ISBN:1-58113-095-3

Authors

G. Ramalingam	IBM T.J. Watson Research Center, PO. Box 704, Yorktown Heights, NY
John Field	IBM T.J. Watson Research Center, PO. Box 704, Yorktown Heights, NY
Frank Tip	IBM T.J. Watson Research Center, PO. Box 704, Yorktown Heights, NY

Sponsors

SIGPLAN: ACM Special Interest Group on Programming Languages
SIGACT: ACM Special Interest Group on Algorithms and Computation Theory

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 8, Downloads (12 Months): 39, Citation Count: 19

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/292540.292553 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Alfred V. Aho , Ravi Sethi , Jeffrey D. Ullman, Compilers: principles, techniques, and tools, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1986
	2	AIKEN, A., AND WIMMERS, E. Solving systems of set constraints. In Symposium on Logic in Computer Science (June 1992), pp. 329--340.
	3	Thomas T. Cormen , Charles E. Leiserson , Ronald L. Rivest, Introduction to algorithms, MIT Press, Cambridge, MA, 1990
	4	Ron Cytron , Jeanne Ferrante , Barry K. Rosen , Mark N. Wegman , F. Kenneth Zadeck, Efficiently computing static single assignment form and the control dependence graph, ACM Transactions on Programming Languages and Systems (TOPLAS), v.13 n.4, p.451-490, Oct. 1991 [doi>10.1145/115372.115320]
	5	Manuel Fähndrich , Alexander Aiken, Program Analysis Using Mixed Term and Set Constraints, Proceedings of the 4th International Symposium on Static Analysis, p.114-126, September 08-10, 1997
	6	Jeanne Ferrante , Karl J. Ottenstein , Joe D. Warren, The program dependence graph and its use in optimization, ACM Transactions on Programming Languages and Systems (TOPLAS), v.9 n.3, p.319-349, July 1987 [doi>10.1145/24039.24041]
	7	K. Kawabe , A. Matsuo , S. Uehara , A. Ogawa, Variable Classification Technique and Application to the Year 2000 Problem, Proceedings of the 2nd Euromicro Conference on Software Maintenance and Reengineering ( CSMR'98), p.44, March 08-11, 1998
	8	Kevin Knight, Unification: a multidisciplinary survey, ACM Computing Surveys (CSUR), v.21 n.1, p.93-124, March 1989 [doi>10.1145/62029.62030]
	9	MILNER, R. A theory of type polymorphismin programming. Journal of Computer and System Sciences 17 (1978), 348-375.
	10	Robert O'Callahan , Daniel Jackson, Lackwit: a program understanding tool based on type inference, Proceedings of the 19th international conference on Software engineering, p.338-348, May 17-23, 1997, Boston, Massachusetts, United States [doi>10.1145/253228.253351]
	11	Bjarne Steensgaard, Points-to Analysis by Type Inference of Programs with Structures and Unions, Proceedings of the 6th International Conference on Compiler Construction, p.136-150, April 24-26, 1996
	12	Bjarne Steensgaard, Points-to analysis in almost linear time, Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.32-41, January 21-24, 1996, St. Petersburg Beach, Florida, United States [doi>10.1145/237721.237727]
	13	STEENSGAARD, B. Personal communication, Oct. 1998.
	14	Robert Endre Tarjan, Data structures and network algorithms, Society for Industrial and Applied Mathematics, Philadelphia, PA, 1983
	15	TIP, F. A survey of program slicing techniques. Journal of ProgrammingLanguages3, 3 (1995), 121-189.
	16	A. Van Deursen , L. Moonen, Type Inference for COBOL Systems, Proceedings of the Working Conference on Reverse Engineering (WCRE'98), p.220, October 12-14, 1998
	17	Mark David Weiser, Program slices: formal, psychological, and practical investigations of an automatic program abstraction method, 1979

CITED BY 19

	Dominic Duggan, Modular type-based reverse engineering of parameterized types in Java code, ACM SIGPLAN Notices, v.34 n.10, p.97-113, Oct. 1999
	Michael Hind, Pointer analysis: haven't we solved this problem yet?, Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, p.54-61, June 2001, Snowbird, Utah, United States
	Xavier Leroy , François Pessaux, Type-based analysis of uncaught exceptions, ACM Transactions on Programming Languages and Systems (TOPLAS), v.22 n.2, p.340-377, March 2000
	Manuvir Das, Unification-based pointer analysis with directional assignments, ACM SIGPLAN Notices, v.35 n.5, p.35-46, May 2000
	George C. Necula , Scott McPeak , Westley Weimer, CCured: type-safe retrofitting of legacy code, ACM SIGPLAN Notices, v.37 n.1, p.128-139, Jan. 2002
	Jeremy Condit , Matthew Harren , Scott McPeak , George C. Necula , Westley Weimer, CCured in the real world, ACM SIGPLAN Notices, v.38 n.5, May 2003
	Satish Chandra , Thomas Reps, Physical type checking for C, ACM SIGSOFT Software Engineering Notes, v.24 n.5, p.66-75, Sept. 1999
	Peter Harry Eidorff , Fritz Henglein , Christian Mossin , Henning Niss , Morten Heine Sørensen , Mads Tofte, AnnoDomini: from type theory to Year 2000 conversion tool, Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.1-14, January 20-22, 1999, San Antonio, Texas, United States
	Keith D. Cooper , Li Xu, An efficient static analysis algorithm to detect redundant memory operations, ACM SIGPLAN Notices, v.38 n.2 supplement, p.97-107, February 2003
	A. S. Klusener , R. Lämmel , C. Verhoef, Architectural modifications to deployed software, Science of Computer Programming, v.54 n.2-3, p.143-211, February 2005
	Xiaoxia Ren , Fenil Shah , Frank Tip , Barbara G. Ryder , Ophelia Chesley, Chianti: a tool for change impact analysis of java programs, ACM SIGPLAN Notices, v.39 n.10, October 2004
	George C. Necula , Jeremy Condit , Matthew Harren , Scott McPeak , Westley Weimer, CCured: type-safe retrofitting of legacy software, ACM Transactions on Programming Languages and Systems (TOPLAS), v.27 n.3, p.477-526, May 2005
	Thomas Reps , Gogul Balakrishnan , Junghee Lim, Intermediate-representation recovery from low-level code, Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, January 09-10, 2006, Charleston, South Carolina
	Arie van Deursen , Leon Moonen, Documenting software systems using types, Science of Computer Programming, v.60 n.2, p.205-220, April 2006
	Nurit Dor , Tal Lev-Ami , Shay Litvak , Mooly Sagiv , Dror Weiss, Customization change impact analysis for erp professionals via program slicing, Proceedings of the 2008 international symposium on Software testing and analysis, July 20-24, 2008, Seattle, WA, USA
	G. Ramalingam , Raghavan Komondoor , John Field , Saurabh Sinha, Semantics-based reverse engineering of object-oriented data models, Proceeding of the 28th international conference on Software engineering, May 20-28, 2006, Shanghai, China
	Satish Chandra , Jackie de Vries , John Field , Howard Hess , Manivannan Kalidasan , Komondoor V. Raghavan , Frans Nieuwerth , Ganesan Ramalingam , Justin Xue, Using logical data models for understanding and transforming legacy business applications, IBM Systems Journal, v.45 n.3, p.647-655, July 2006
	Ranjit Jhala , Rupak Majumdar, Bit level types for high level reasoning, Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering, November 05-11, 2006, Portland, Oregon, USA
	Mariano Ceccato , Thomas Roy Dean , Paolo Tonella, Recovering structured data types from a legacy data model with overlays, Information and Software Technology, v.51 n.10, p.1454-1468, October, 2009