Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
Engineering a simple, efficient code-generator generator
ACM Letters on Programming Languages and Systems (LOPLAS)
Program Development by Specification and Transformation, The PROSPECTRA Methodology, Language Family, and System
Proceedings of the 2nd CCHSC Workshop on Compiler Compilers and High Speed Compilation
Transformation of Attributed Trees Using Pattern Matching
CC '92 Proceedings of the 4th International Conference on Compiler Construction
Essentials of Constraint Programming
Essentials of Constraint Programming
Using AspectJ to separate concerns in parallel scientific Java code
Proceedings of the 3rd international conference on Aspect-oriented software development
Crosscutting Concerns in Parallelization by Invasive Software Composition and Aspect Weaving
HICSS '06 Proceedings of the 39th Annual Hawaii International Conference on System Sciences - Volume 09
Modeling aspect mechanisms: a top-down approach
Proceedings of the 28th international conference on Software engineering
Automated Round-trip Software Engineering in Aspect Weaving Systems
ASE '06 Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering
Parallelisation of sequential programs by invasive composition and aspect weaving
APPT'05 Proceedings of the 6th international conference on Advanced Parallel Processing Technologies
Opportunities and challenges for traceable graph rewriting systems
Proceedings of the third international workshop on Graph and model transformations
Parallelizing scientific code with invasive interactive parallelization: a case study with reuseware
Proceedings of the 2008 compFrame/HPC-GECO workshop on Component based high performance
ACM Transactions on Programming Languages and Systems (TOPLAS)
Round-Trip Support for Invasive Software Composition Systems
SC '09 Proceedings of the 8th International Conference on Software Composition
Taming changes With 1.x-Way architecture-implementation mapping
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
| Hi-index | 0.00 |
We present a formal framework for a recently introduced approach to Automated Round-trip Software Engineering (ARE) in source-level aspect weaving systems. Along with the formalization we improve the original method and suggest a new concept of weaving transactions in Aspect-oriented Programming (AOP). As the major contribution we formally show how, given a tree-shaped intermediate representation of a program and an ancillary transposition tree, manual edits in statically woven code can consistently be mapped back to their proper source of origin, which is either in the application core or in an element in the aspect space. The presented formalism is constructive. It frames AOP by generalizing static aspect weaving to classical tree transformations.