Static analysis for a software transformation tool

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback
Take a look at the new version of this page: [ beta version ]. Tell us what you think.

Static analysis for a software transformation tool

Purchase a copy

Source

Year of Publication: 1998

Order Number:UMI Order No. GAX98-04509

Author

John David Morgenthaler

Publisher

University of California at San Diego La Jolla, CA, USA

Bibliometrics

Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Citation Count: 8

Additional Information:

cited by index terms collaborative colleagues

Tools and Actions:	Review this Doctoral Thesis Save this Doctoral Thesis to a Binder Display Formats: BibTeX EndNote ACM Ref

CITED BY 8

	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
	Jacques Eloff, Software restructuring: implementing a code abstraction transformation, Proceedings of the 2002 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology, September 16-18, 2002, Port Elizabeth, South Africa
	Michael Hind , Anthony Pioli, Which pointer analysis should I use?, ACM SIGSOFT Software Engineering Notes, v.25 n.5, p.113-123, Sept. 2000
	Ramachenga R. Valasareddi , Doris L. Carver, A representation model for procedural program maintenance, Proceedings of the 1999 ACM symposium on Applied computing, p.580-585, February 28-March 02, 1999, San Antonio, Texas, United States
	William G. Griswold , Morison I. Chen , Robert W. Bowdidge , Jenny L. Cabaniss , Van B. Nguyen , J. David Morgenthaler, Tool Support for Planning the Restructuring of Data Abstractions in Large Systems, IEEE Transactions on Software Engineering, v.24 n.7, p.534-558, July 1998
	Xiaolan Zhang , Larry Koved , Marco Pistoia , Sam Weber , Trent Jaeger , Guillaume Marceau , Liangzhao Zeng, The case for analysis preserving language transformation, Proceedings of the 2006 international symposium on Software testing and analysis, July 17-20, 2006, Portland, Maine, USA
	R. Daniel Resler , Victor Winter, A higher-order strategy for eliminating common subexpressions, Computer Languages, Systems and Structures, v.35 n.4, p.341-364, December, 2009
	Emma Nilsson-Nyman , Görel Hedin , Eva Magnusson , Torbjörn Ekman, Declarative Intraprocedural Flow Analysis of Java Source Code, Electronic Notes in Theoretical Computer Science (ENTCS), v.238 n.5, p.155-171, October, 2009