JunGL: a scripting language for refactoring Export

@inproceedings{citeulike:754977, abstract = {Refactorings are behaviour-preserving program transformations, typically for improving the structure of existing code. A few of these transformations have been mechanised in interactive development environments. Many more refactorings have been proposed, and it would be desirable for programmers to script their own refactorings. Implementing such source-to-source transformations, however, is quite complex: even the most sophisticated development environments contain significant bugs in their refactoring tools.We present a domain-specific language for refactoring, named JunGL. It manipulates a graph representation of the program: all information about the program, including ASTs for its compilation units, variable binding, control flow and so on is represented in a uniform graph format. The language is a hybrid of a functional language (in the style of ML) and a logic query language (akin to Datalog). JunGL furthermore has a notion of demand-driven evaluation for constructing computed information in the graph, such as control flow edges. Borrowing from earlier work on the specification of compiler optimisations, JunGL uses so-called `path queries' to express dataflow properties.We motivate the design of JunGL via a number of non-trivial refactorings, and describe its implementation on the.NET platform.}, address = {New York, NY, USA}, author = {Verbaere, Mathieu and Ettinger, Ran and de Moor, Oege}, booktitle = {ICSE '06: Proceedings of the 28th international conference on Software engineering}, citeulike-article-id = {754977}, citeulike-linkout-0 = {http://portal.acm.org/citation.cfm?id=1134311}, citeulike-linkout-1 = {http://dx.doi.org/10.1145/1134285.1134311}, doi = {10.1145/1134285.1134311}, isbn = {1-59593-375-1}, keywords = {refactoring}, location = {Shanghai, China}, pages = {172--181}, posted-at = {2009-11-07 19:43:12}, priority = {2}, publisher = {ACM}, title = {JunGL: a scripting language for refactoring}, url = {http://dx.doi.org/10.1145/1134285.1134311}, year = {2006} }

TY - CONF ID - citeulike:754977 L3 - citeulike-article-id:754977 N2 - Refactorings are behaviour-preserving program transformations, typically for improving the structure of existing code. A few of these transformations have been mechanised in interactive development environments. Many more refactorings have been proposed, and it would be desirable for programmers to script their own refactorings. Implementing such source-to-source transformations, however, is quite complex: even the most sophisticated development environments contain significant bugs in their refactoring tools.We present a domain-specific language for refactoring, named JunGL. It manipulates a graph representation of the program: all information about the program, including ASTs for its compilation units, variable binding, control flow and so on is represented in a uniform graph format. The language is a hybrid of a functional language (in the style of ML) and a logic query language (akin to Datalog). JunGL furthermore has a notion of demand-driven evaluation for constructing computed information in the graph, such as control flow edges. Borrowing from earlier work on the specification of compiler optimisations, JunGL uses so-called `path queries' to express dataflow properties.We motivate the design of JunGL via a number of non-trivial refactorings, and describe its implementation on the.NET platform. CY - Shanghai, China SN - 1-59593-375-1 AD - New York, NY, USA EP - 181 TI - JunGL: a scripting language for refactoring PB - ACM T2 - ICSE '06: Proceedings of the 28th international conference on Software engineering SP - 172 KW - refactoring AU - Verbaere, Mathieu AU - Ettinger, Ran AU - de Moor, Oege PY - 2006/// UR - http://dx.doi.org/10.1145/1134285.1134311 ER -