Immutability and Encapsulation for Sound OO Information Flow Control.
Autor: | RUNGE, TOBIAS1 tobias.runge@kit.edu, SERVETTO, MARCO2 marco.servetto@ecs.vuw.ac.nz, POTANIN, ALEX3 alex.potanin@anu.edu.au, SCHAEFER, INA1 ina.schaefer@kit.edu |
---|---|
Zdroj: | ACM Transactions on Programming Languages & Systems. Mar2023, Vol. 45 Issue 1, p1-35. 35p. |
Databáze: | Business Source Ultimate |
Externí odkaz: |