Skip to main content
Conference Proceedings

Reading, writing and relations towards extensional semantics for effect analyses

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2006) 4279 LNCS 114-130
DOI: 10.1007/11924661_7
28Citations
Citations of this article
6Readers
Mendeley users who have this article in their library.
Get full text

Abstract

We give an elementary semantics to an effect system, tracking read and write effects by using relations over a standard extensional semantics for the original language. The semantics establishes the soundness of both the analysis and its use in effect-based program transformations. © Springer-Verlag Berlin Heidelberg 2006.

Cite

CITATION STYLE

APA

Benton, N., Kennedy, A., Hofmann, M., & Beringer, L. (2006). Reading, writing and relations towards extensional semantics for effect analyses. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4279 LNCS, pp. 114–130). Springer Verlag. https://doi.org/10.1007/11924661_7

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free