Home / General / Relational Semantics for Effect-Based Program Transformations with Dynamic Allocation
digWin is a community news sharing site for Microsoft Techies. Share interesting news/links and rate them!

Relational Semantics for Effect-Based Program Transformations with Dynamic Allocation

We give a denotational semantics to a region-based effect system tracking reading, writing and allocation in a higher-order language with dynamically allocated integer references. Effects are interpreted in terms of the preservation of certain binary relations on the store, parameterized by region-indexed partial bijections on locations. The semantics validates a number of effect-dependent program equivalences and can thus serve as a foundation for effect-based compiler





Microsoft news, tips and tricks search

Comments


Post voted by 1 digWinners


Featured Links

User

Login | Register




Forgot Password?

Sponsor

Anti spam filter for mail servers
Anti spam, anti phishing and email management software for Exchange/SMTP/Lotus. Download a FREE trial!

Featured

Download Free Exchange Ebook

Categories

Upcoming NEW

Recent comments

Related Sites