Thread
Stories related to "Permissive, then restrictive: concrete solutions and examples in Haskell (2020)" across the full archive.
Boosting the Permissiveness of Dynamic Information-Flow Tracking by Testing (2012)
(pdfs.semanticscholar.org)
Abstract: "Tracking information flow in dynamic languages remains an open challenge. It might seem natural to address the challenge by runtime monitoring. However, there are well-known fundamental limits of dynamic flow-sensitive tracking of information flow, where paths not taken
in a given execut...