Coeffects: Unified Static Analysis of Context-Dependence

Abstract:

Monadic effect systems provide a unified way of tracking effects of computations, but there is no unified mechanism for tracking how computations rely on the environment in which they are executed. This is becoming an important problem for modern software – we need to track where distributed computations run, which resources a program uses and how they use other capabilities of the environment.

BibTeX:

@inproceedings{petricek_coeffects_2013,
    title = {{Coeffects: Unified Static Analysis of Context-Dependence}},
    author = {Petricek, Tomas and Orchard, Dominic and Mycroft, Alan},
    year = {2013},
    booktitle = {{Automata, Languages, and Programming}},
    editor = {Fomin, Fedor V. and Freivalds, Rūsiņ š and Kwiatkowska, Marta and Peleg, David},
    publisher = {Springer},
    series = {{Lecture Notes in Computer Science}},
    location = {Berlin, Heidelberg},
    doi = {10.1007/978-3-642-39212-2_35},
    isbn = {978-3-642-39212-2},
    pages = {385--397},
}

Proceedings paper