Translucid contracts for modular reasoning about aspect-oriented programs.
Mehdi BagherzadehHridesh RajanGary T. LeavensSean L. MooneyPublished in: SPLASH/OOPSLA Companion (2010)
Keyphrases
- aspect oriented
- object oriented
- software development
- crosscutting concerns
- business applications
- aspect oriented programming
- development process
- supply chain
- automatic programming
- spatial reasoning
- database
- modular neural networks
- fixpoint
- cross cutting concerns
- software product line
- computer programs
- management system
- data model
- machine learning
- data mining
- neural network
- databases
- data sets