Aspect-oriented linearizability proofs.
Soham ChakrabortyThomas A. HenzingerAli SezginViktor VafeiadisPublished in: Log. Methods Comput. Sci. (2015)
Keyphrases
- aspect oriented
- object oriented
- software development
- business applications
- development process
- crosscutting concerns
- aspect oriented programming
- formal proof
- mathematical proofs
- software product line
- theorem proving
- theorem prover
- interactive theorem proving
- case study
- search engine
- databases
- software projects
- building blocks
- software engineering
- computer programs
- data model
- natural deduction
- machine learning
- formal proofs
- data sets
- database