*Result*: Value Sensitivity and Observable Abstract Values for Information Flow Control.
Title:
Value Sensitivity and Observable Abstract Values for Information Flow Control.
Authors:
Source:
Logic for Programming, Artificial Intelligence & Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings; 2015, p63-78, 16p
Database:
Complementary Index