Encoding DCC in Haskell

Maximilian Algehed
Maximilian Algehed

CCS '17: 2017 ACM SIGSAC Conference on Computer and Communications Security Dallas Texas USA October, 2017, pp. 77-89, 2017.

Cited by: 13|Views4
EI

Abstract:

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

Code:

Data:

Get fulltext within 24h
Bibtex
Your rating :
0

 

Tags
Comments