Term Rewriting Meets Aspect-Oriented Programming.
Paul KlintTijs van der StormJurgen J. VinjuPublished in: Processes, Terms and Cycles (2005)
Keyphrases
- term rewriting
- aspect oriented programming
- cross cutting concerns
- aspect oriented
- theorem proving
- theorem prover
- operational semantics
- rewrite systems
- software product line
- knuth bendix
- crosscutting concerns
- web services
- object oriented
- business applications
- data mining
- first order logic
- software development
- multi agent
- artificial intelligence