Rely-guarantee approach to reasoning about aspect-oriented programs.
Raffi KhatchadourianNeelam SoundarajanPublished in: SPLAT (2007)
Keyphrases
- aspect oriented
- object oriented
- software development
- crosscutting concerns
- business applications
- development process
- aspect oriented programming
- answer sets
- neural network
- decision making
- computer programs
- cross cutting concerns
- formal theory
- automatic programming
- programming environment
- qualitative reasoning
- programming language
- information systems
- artificial intelligence