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