Aspect-Oriented Linearizability Proofs.
Thomas A. HenzingerAli SezginViktor VafeiadisPublished in: CONCUR (2013)
Keyphrases
- aspect oriented
- object oriented
- development process
- software development
- crosscutting concerns
- business applications
- aspect oriented programming
- theorem prover
- theorem proving
- equational theories
- formal proofs
- natural deduction
- software product line
- information systems
- formal proof
- management system
- data sets
- high level
- learning algorithm
- cross cutting concerns
- mathematical proofs
- future directions
- inference rules
- business processes
- open source
- software engineering
- web services
- information retrieval
- data mining
- neural network