Eiffel: the language
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
The Java Programming Language
Stratego/XT 0.16: components for transformation systems
Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
A comparison of logic-based infrastructures for concern detection and extraction
Proceedings of the 3rd workshop on Linking aspect technology and evolution
Derivation and Refinement of Textual Syntax for Models
ECMDA-FA '09 Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications
A logic based approach to locate composite refactoring opportunities in object-oriented code
AQTR '10 Proceedings of the 2010 IEEE International Conference on Automation, Quality and Testing, Robotics (AQTR) - Volume 03
Generic rules for logic representation transformations
AQTR '10 Proceedings of the 2010 IEEE International Conference on Automation, Quality and Testing, Robotics (AQTR) - Volume 03
Model-Driven analysis and synthesis of concrete syntax
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Hi-index | 0.00 |
In today's software engineering program analysis and program transformation are operations that strongly rely on software models. One important share in this direction is held by logic based models, described in a declarative language such as Prolog. There are some approaches used to represent information about software systems while at the same time preserving the logic relations between entities, but they are normally limited to software systems written in a certain programming language. There are also language independent approaches to logic based representation of programs, but they are usualy based on syntactic information about the modeled program and provide little information about the logic relations between entities at the semantic level. This paper describes a methodology that would unite the two kinds of approaches, being both language independent and expressive at the semantic level at the cost of a more complex generation process.