Encoding DCC in Haskell
CCS '17: 2017 ACM SIGSAC Conference on Computer and Communications Security Dallas Texas USA October, 2017, pp. 77-89, 2017.
The seminal work on the Dependency Core Calculus (DCC) shows how monads not only can be used for embedding effects in purely functional languages but also to statically track data dependencies. Such types of analysis have applications in research areas like security, partial evaluation, and slicing, where DCC plays the role of a unifying ...More
Get fulltext within 24h
Full Text (Upload PDF)
PPT (Upload PPT)