Parallel support for source code analysis and modification

Author

Baxter, Ira D.

fYear

2002

fDate

2002

Firstpage

3

Lastpage

14

Abstract

Tools that analyze and enhance large-scale software systems using symbolic reasoning are computationally expensive, and yet processors are cheap. We believe that enabling tools with parallel foundations will lead to qualitatively more useful tools. We have implemented a large-scale industrial-strength program transformation system, the DMS Software Reengineering Toolkit, entirely in PARLANSE, a new parallel language. PARLANSE provides support for irregular fine-grain parallelism with zero-cost exception handling. This paper sketches the motivation for PARLANSE, its parallelism support and how it is used in a number of DMS-based applications, including parallel rewriting and attribute evaluation.

Keywords

exception handling; parallel languages; parallel programming; software tools; symbol manipulation; system monitoring; systems re-engineering; DMS Software Reengineering Toolkit; PARLANSE; attribute evaluation; irregular fine-grain parallelism; large-scale program transformation system; large-scale software systems; parallel language; parallel rewriting; parallel support; source code analysis; source code modification; symbolic reasoning; zero-cost exception handling; Application software; Computer industry; Concurrent computing; Large-scale systems; Packaging; Parallel processing; Software engineering; Software systems; Software tools; Yarn;

fLanguage

English

Publisher

ieee

Conference_Titel

Source Code Analysis and Manipulation, 2002. Proceedings. Second IEEE International Workshop on

Print_ISBN

0-7695-1793-5

Type

conf

DOI

10.1109/SCAM.2002.1134100

Filename

1134100