Research Catalog

Title

Proceedings : first IEEE International Workshop on Source Code Analysis and Manipulation : 10 November 2001, Florence, Italy / sponsored by Institute of Electrical and Electronics Engineers [and others].

Author

IEEE International Workshop on Source Code Analysis and Manipulation (1st : 2001 : Florence, Italy)

Publication

Los Alamitos, Calif. : IEEE Computer Society, [2001], ©2001.

Items in the Library & Off-site

Holdings

Details

Additional Authors

Institute of Electrical and Electronics Engineers.

Description

ix, 223 pages : illustrations; 28 cm

Alternative Title

Source code analysis and manipulation

Subject

• Source code (Computer science) > Congresses

Bibliography (note)

• Includes bibliographical references and index.

Contents

• A Case Study in Detecting Software Security Vulnerabilities Using Constraint Optimization / M. Weber, V. Shah and C. Ren -- A Hybrid Program Slicing Framework / J. Rilling and B. Karanth -- An Object Level Transformation Technique to Improve the Performance of Embedded Applications / S. Bartolini and C. Prete -- A Source-to-Source Compiler for Generating Dependable Software / M. Rebaudengo, M. Sonza Reorda and M. Violante / [et al.] -- Analysis and Manipulation of Distributed Multi-Language Software Code / L. Deruelle, M. Melab and M. Bouneffa / [et al.] -- Application Maintenance Using Software Agents / A. Sharma and M. Capretz -- Detecting Dead Statements for Concurrent Programs / Z. Chen, B. Xu and H. Yang -- Finding Code on the World Wide Web: A Preliminary Investigation / J. Bieman and V. Murdock -- Flow Insensitive Points-To Sets / P. Anderson, D. Binkley and G. Rosay / [et al.] -- Identifying Clones in the Linux Kernel / G. Casazza, G. Antoniol and U. Villano / [et al.] --
• Jmangler - A Framework for Load-Time Transformation of Java Class Files / G. Kniesel, P. Costanza and M. Austermann -- Library Transformations / S. Schupp, D. Gregor and D. Musser / [et al.] -- Measurement and Analysis of Runtime Profiling Data for Java Programs / J. Horgan, J. Power and J. Waldron -- Preserving the Documentary Structure of Source Code in Language-Based Transformation Tools / M. Van De Vanter -- Program Slicing: Methods and Applications / A. De Lucia -- Restructuring Web Applications via Transformation Rules / F. Ricca, P. Tonella and I. Baxter -- Smell the Coffee! Uncovering Java Analysis Issues / C. Knight -- Software Engineering by Source Transformation - Experience with TXL / J. Cordy, T. Dean and A. Malton / [et al.] -- Static Slicing and Parametric Polymorphism / D. Byers and M. Kamkar -- The Formal Transformation Approach to Source Code Analysis and Manipulation / M. Ward -- Type Infeasible Call Chains / A. Souter and L. Pollock --
• Using Automated Source Code Analysis for Software Evolution / L. Burd and S. Rank -- Using Data Flow Analysis to Infer Type Information in Java Bytecode / P. Maggi and R. Sisto.

ISBN

0769513875

LCCN

2001095105

OCLC

• 48707349
• ocm48707349
• SCSB-4215954

Owning Institutions

Columbia University Libraries