Inference rules for generic code migration of aspect-oriented programs.
Fernando Barden RubboEduardo Kessler PivetaDaltro José NunesPublished in: Sci. Comput. Program. (2013)
Keyphrases
- inference rules
- aspect oriented
- crosscutting concerns
- aspect oriented programming
- cross cutting concerns
- object oriented
- software development
- development process
- first order logic
- modal logic
- logical framework
- theorem prover
- business applications
- logic programming language
- fixpoint
- horn clauses
- metamodel
- software product line
- case study
- software systems
- query language
- conditional probabilities
- source code
- set of inference rules
- real world
- life cycle
- expert systems
- bayesian networks
- database systems
- database management systems