Immutability and Encapsulation for Sound OO Information Flow Control.
Tobias RungeMarco ServettoAlex PotaninIna SchaeferPublished in: ACM Trans. Program. Lang. Syst. (2023)
Keyphrases
- information flow control
- object oriented databases
- object oriented
- information flow
- conceptual modeling
- programming language
- information integration
- data model
- database schema
- distributed databases
- software engineering
- database
- supply chain
- query language
- learning environment
- case study
- data mining
- object oriented modeling
- data sets