Reasoning Challenges of Data Abstraction and Aliasing in Concurrent Programs.
Alan WeidePublished in: ACM SIGSOFT Softw. Eng. Notes (2018)
Keyphrases
- data abstraction
- concurrent programs
- formal specification
- process algebra
- database management
- conceptual modeling
- object oriented
- object oriented databases
- programming language
- abstract data types
- knowledge base
- concurrent programming
- production rules
- knowledge representation
- general purpose
- source code
- relational databases
- case study
- web services