A monadic analysis of information flow security with mutable state

DOI10.1017/S0956796804005441zbMath1077.68019MaRDI QIDQ4676158

Karl Crary, Aleksey Kliger, Frank Pfenning

Publication date: 3 May 2005

Published in: Journal of Functional Programming (Search for Journal in Brave)

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

Flexible dynamic information flow control in the presence of exceptions ⋮ Coherence of subsumption for monadic types ⋮ Implicit self-adjusting computation for purely functional programs

This page was built for publication: A monadic analysis of information flow security with mutable state