Reading, Writing and Relations

13 years 10 months ago

Download research.microsoft.com

We give an elementary semantics to an eﬀect system, tracking read and write eﬀects 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 eﬀect-based program transformations.

Nick Benton, Andrew Kennedy, Martin Hofmann, Lenna

Real-time Traffic

APLAS 2006 | Elementary Semantics | Eﬀect-based Program Transformations | Standard Extensional Semantics |

claim paper

» Fast Mutual Exclusion Algorithms Using ReadModifyWrite and Atomic ReadWrite Registers

» Write Optimized ObjectOriented Database Systems

» Towards an Algebraic Theory of Typed Mobile Processes

» Staged Reads Mitigating the impact of DRAM writes on DRAM reads

» An Analysis of File Migration in a UNIX Supercomputing Environment

» LogOnly Temporal Object Storage

» Eliciting Emotional Thought During Critical Reading for Academic Writing

» Improving write operations in MLC phase change memory

Post Info
More Details (n/a)

Added	13 Jun 2010
Updated	13 Jun 2010
Type	Conference
Year	2006
Where	APLAS
Authors	Nick Benton, Andrew Kennedy, Martin Hofmann, Lennart Beringer

Comments (0)

Sciweavers

Reading, Writing and Relations

APLAS 2006 | Elementary Semantics | Eﬀect-based Program Transformations | Standard Extensional Semantics |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers