Skip to main content

Coeffects: Unified static analysis of context-dependence

Petricek, Tomas, Orchard, Dominic A., Mycroft, Alan (2013) Coeffects: Unified static analysis of context-dependence. In: Lecture Notes in Computer Science. Automata, Languages, and Programming: 40th International Colloquium, ICALP 2013, Proceedings, Part II. 7966. pp. 385-397. Springer-Verlag ISBN 978-3-642-39211-5. (doi:10.1007/978-3-642-39212-2_35)

PDF - Author's Accepted Manuscript
Download (253kB) Preview
[img]
Preview
Official URL
http://link.springer.com/chapter/10.1007/978-3-642...

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. We consider three examples of context-dependence analysis: liveness analysis, tracking the use of implicit parameters (similar to tracking of resource usage in distributed computation), and calculating caching requirements for dataflow programs. Informed by these cases, we present a unified calculus for tracking context dependence in functional languages together with a categorical semantics based on indexed comonads. We believe that indexed comonads are the right foundation for constructing context-aware languages and type systems and that following an approach akin to monads can lead to a widespread use of the concept.

Item Type: Conference or workshop item (Paper)
DOI/Identification number: 10.1007/978-3-642-39212-2_35
Uncontrolled keywords: coeffects, static analysis, programming patterns
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 9 Formal systems, logics
Divisions: Faculties > Sciences > School of Computing > Programming Languages and Systems Group
Depositing User: Dominic Orchard
Date Deposited: 28 Sep 2016 13:16 UTC
Last Modified: 29 May 2019 17:54 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/57543 (The current URI for this page, for reference purposes)
Orchard, Dominic A.: https://orcid.org/0000-0002-7058-7842
  • Depositors only (login required):

Downloads

Downloads per month over past year