The University of Southampton
University of Southampton Institutional Repository

Type and Effect Systems for Dynamically Changing Code - DRAFT CORRECTIONS, DO NOT DISTRIBUTE

Anderson, Gabrielle (2010) Type and Effect Systems for Dynamically Changing Code - DRAFT CORRECTIONS, DO NOT DISTRIBUTE s.n.

Record type: Monograph (Project Report)


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.

PDF language_corrections.pdf - Other
Download (214kB)

More information

Submitted date: 25 January 2010
Organisations: Electronic & Software Systems


Local EPrints ID: 268411
PURE UUID: baaf0a0e-d7c4-44bc-afa3-0a4287b16ed7

Catalogue record

Date deposited: 25 Jan 2010 15:16
Last modified: 18 Jul 2017 06:54

Export record


Author: Gabrielle Anderson

University divisions

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

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton:

ePrints Soton supports OAI 2.0 with a base URL of

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.