textabstractThis paper discusses an approach to linking separate analysis and transformation tools, such that analysis results can be used to guide transformations. Our approach consists of two phases. First, the analysis tool maps its results to relevant locations in the source code. Second, a mapping in the reverse direction is performed: the analysis results expressed as source positions and data are mapped to the abstractions used in the transformation tool. We discuss a prototype implementation of this approach in detail, and present the results of a number of case studies
Understanding a program based on its source code is te-dious and error-prone. Unfortunately, such a ...
Though one is led to believe that program transformation systems which perform source-to-source tr...
Programming, the act of creating and changing software source code, should be a collaborative proces...
At the Dagstuhl seminar on Transformation Techniques in Software Engineering we had an organized d...
I hereby declare that I am the sole author of this thesis. I authorize the University of Waterloo to...
Mappings between different representations of data are a common and important component of many in-f...
We address the task of mapping a given textual domain model (e.g., an industry-standard reference mo...
We present a pointer analysis algorithm designed for source-to-source transformations. Existing tech...
Code transformation and analysis tools provide support for software engineering tasks such as style ...
We address the task of mapping a given domain model (e.g., an industry-standard reference model) for...
Abstract: Much of the work in software maintaining and reengineering has concentrated on source tran...
Many activities related to software quality assessment and improvement, such as empirical model cons...
Complex model transformation is crucial in several domains, including Model-Driven Engineering (MDE)...
© 1989, Springer-Verlag. We describe an application of abstract interpretation within the field of s...
International audienceThis chapter addresses the integration and orchestration of external analysis ...
Understanding a program based on its source code is te-dious and error-prone. Unfortunately, such a ...
Though one is led to believe that program transformation systems which perform source-to-source tr...
Programming, the act of creating and changing software source code, should be a collaborative proces...
At the Dagstuhl seminar on Transformation Techniques in Software Engineering we had an organized d...
I hereby declare that I am the sole author of this thesis. I authorize the University of Waterloo to...
Mappings between different representations of data are a common and important component of many in-f...
We address the task of mapping a given textual domain model (e.g., an industry-standard reference mo...
We present a pointer analysis algorithm designed for source-to-source transformations. Existing tech...
Code transformation and analysis tools provide support for software engineering tasks such as style ...
We address the task of mapping a given domain model (e.g., an industry-standard reference model) for...
Abstract: Much of the work in software maintaining and reengineering has concentrated on source tran...
Many activities related to software quality assessment and improvement, such as empirical model cons...
Complex model transformation is crucial in several domains, including Model-Driven Engineering (MDE)...
© 1989, Springer-Verlag. We describe an application of abstract interpretation within the field of s...
International audienceThis chapter addresses the integration and orchestration of external analysis ...
Understanding a program based on its source code is te-dious and error-prone. Unfortunately, such a ...
Though one is led to believe that program transformation systems which perform source-to-source tr...
Programming, the act of creating and changing software source code, should be a collaborative proces...