David Aspinall and Martin Hofmann LFCS Edinburgh, Mayfield Rd, Edinburgh EH9...  Home/Search
Context Related
| homepages.inf.ed.ac.uk...readonly.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: homepages.inf.ed.ac.uk/da/pape... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Linear typing schemes guarantee single-threadedness and so the soundness of in-place update with respect to a functional semantics. (Update)
Cited by: More
Grail: A Functional Form for Imperative Mobile Code - Beringer, MacKenzie, Stark (2003) (Correct)
A Program Logic for Resource Verification - Aspinall, Beringer, Hofmann.. (2004) (Correct)
Towards Certificate Generation for Linear Heap.. - Beringer, Hofmann.. (Correct)
Active bibliography (related documents): More All
0.5: A Linearly Typed Assembly Language - Cheney, Morrisett (Correct)
0.3: Type Reconstruction for SCI, Part 2 - Yang, Huang (1997) (Correct)
0.3: Type Reconstruction for Syntactic Control of Interference, Part 2 - Yang, Huang (Correct)
Similar documents based on text: More All
0.2: Cv - Compagnoni (2000) (Correct)
0.2: Linear Types and Non-Size-Increasing Polynomial Time Computation - Hofmann (1998) (Correct)
0.2: A type system for bounded space and functional in-place update.. - Hofmann (2000) (Correct)
Related documents from co-citation: More All
7: Separation logic: a logic for shared mutable data structures - Reynolds - 2002
5: Quasi-Linear Types - Kobayashi - 1999
5: Region-based memory management - Tofte, Talpin - 1997
BibTeX entry: (Update)
David Aspinall and Martin Hofmann. Another type system for in-place update. In D. Le Metayer, editor, Proc. European Symposium on Programming, pages 36-52. Springer-Verlag, 2002. LNCS 2305. http://citeseer.ist.psu.edu/aspinall02another.html More
@inproceedings{ aspinall02another,
author = "David Aspinall and Martin Hofmann",
title = "Another Type System for In-Place Update",
booktitle = "European Symposium on Programming",
pages = "36-52",
year = "2002",
url = "citeseer.ist.psu.edu/aspinall02another.html" }
Citations (may not include all citations):188 Region-based memory management - Tofte, Talpin - 1997
184 Linear types can change the world - Wadler - 1990
132 Syntactic control of interference (context) - Reynolds - 1978
117 Typed memory management in a calculus of capabilities - Crary, Walker et al. - 1999
110 BI as an assertion language for mutable data structures - Ishtiaq, O'Hearn - 2001
88 Intuitionistic reasoning about shared mutable data structure - Reynolds - 2000
58 The logic of bunched implications (context) - O'Hearn, Pym - 1999
58 Linear types and non size-increasing polynomial time computa.. - Hofmann - 1999
56 Computer Science Laboratory (context) - Shankar, ciently et al. - 1999
53 Quasi-linear types - Kobayashi - 1999
51 and Greg Morrisett (context) - Smith, Walker - 2000
42 A type system for bounded space and functional in-place upda.. - Hofmann - 2000
34 Uniqueness typing for functional languages with graph rewrit.. - Barendsen, Smetsers - 1996
20 Set constraints for destructive array update optimization - Wand, Clinger - 1998
20 The strength of non size-increasing computation (context) - Hofmann - 2002
14 Observers for linear types - Odersky - 1992
12 A uniform treatment of order of evaluation and aggregate upd.. - Draghicescu, Purushothaman - 1993
9 Syntactic control of interference revisited (context) - O'Hearn, Takeyama et al. - 1995
5 and Thomas Reps (context) - Wilhelm, Sagiv - 2000
3 Imperative lambda calculus revisited - Yang, Reddy - 1997
2 Heap bounded assembly language - Aspinall, Compagnoni - 2002
1 Simple usage polymorphism (context) - Peyton-Jones, Wansbrough - 2000
1 Heap bounded functional programming in Java (context) - Aspinall, Hofmann - 2001
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://homepages.inf.ed.ac.uk/da/papers/): More
Types, Subtypes, and ASL+ - David Aspinall Department (Correct)
Subtyping with Power Types - Aspinall (2000) (Correct)
Subtyping with Power Types - David Aspinall Http (2000) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC