@inproceedings{d0d9d19ff0d74b02b5b860e7b7fd63a8,
title = "Linking syntactic and semantic models of Java source code within a program transformation system",
abstract = "Static analysis and software manipulation tools are frequently rule-based and draw on a variety of software models in order to achieve their goals. Program transformation languages provide traversal and matching capabilities that are aligned with the core functionality of rule-based systems. Therefore, transformation systems should be considered as candidates for implementing static analysis and manipulation tools. An issue associated with this approach is that transformation systems predominantly operate on syntactic models (abstract/concrete trees) of software. To effectively support in-depth analysis, it is beneficial to integrate the syntactic models used by transformation systems with one or more semantic models. This paper describes a system, called GPS-Traverse, that establishes a link between syntactic and semantic models of Java software. These models are central to a transformation-based Java source code analysis and manipulation system we are developing called Sextant. Within Sextant, GPS-traverse provides a coordinate system that is accessible during transformation. These coordinates enable the semantic model to be queried in a context-sensitive fashion during the course of transformation.",
keywords = "GPS-Traverse, Java, Sextant, TL System, program transformation, source code analysis",
author = "Winter, {Victor L.} and Jonathan Guerrero and Alexander James and Carl Reinke",
year = "2012",
doi = "10.1109/HASE.2012.8",
language = "English (US)",
isbn = "9780769549125",
series = "Proceedings of IEEE International Symposium on High Assurance Systems Engineering",
pages = "122--129",
booktitle = "Proceedings - IEEE 14th International Symposium on High-Assurance Systems Engineering, HASE 2012",
note = "IEEE 14th International Symposium on High-Assurance Systems Engineering, HASE 2012 ; Conference date: 25-10-2012 Through 27-10-2012",
}