Type and Effect Systems for Dynamically Changing Code - DRAFT CORRECTIONS, DO NOT DISTRIBUTE
Type and Effect Systems for Dynamically Changing Code - DRAFT CORRECTIONS, DO NOT DISTRIBUTE
We extend type and effect analyses to permit dynamically changing effects and dynamically changing code in multi-threaded systems with shared resources. We guarantee that after a well typed modification a set of threads will have the specified desired effects and will continue to safely use the resources. We prove the key properties of subject reduction and fidelity (safety) for our general system. We provide an application of our system: dynamic software updating for a multi-threaded asynchronous message passing system. We show how key safety properties from session typing follow from the properties of our general system.
Anderson, Gabrielle
ca46dd5b-2682-44ab-b2b5-9560396dabba
Anderson, Gabrielle
ca46dd5b-2682-44ab-b2b5-9560396dabba
Anderson, Gabrielle
(2010)
Type and Effect Systems for Dynamically Changing Code - DRAFT CORRECTIONS, DO NOT DISTRIBUTE
(Submitted)
Record type:
Monograph
(Project Report)
Abstract
We extend type and effect analyses to permit dynamically changing effects and dynamically changing code in multi-threaded systems with shared resources. We guarantee that after a well typed modification a set of threads will have the specified desired effects and will continue to safely use the resources. We prove the key properties of subject reduction and fidelity (safety) for our general system. We provide an application of our system: dynamic software updating for a multi-threaded asynchronous message passing system. We show how key safety properties from session typing follow from the properties of our general system.
Text
language_corrections.pdf
- Other
More information
Submitted date: 25 January 2010
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 268411
URI: http://eprints.soton.ac.uk/id/eprint/268411
PURE UUID: baaf0a0e-d7c4-44bc-afa3-0a4287b16ed7
Catalogue record
Date deposited: 25 Jan 2010 15:16
Last modified: 20 Feb 2024 12:53
Export record
Contributors
Author:
Gabrielle Anderson
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics