Stem mutabl$ (all stems)

16 papers:

PLDI-2013-GordonEG #alias #refinement

Rely-guarantee references for refinement types over aliased mutable data (CSG, MDE, DG), pp. 73–84.

ASPLOS-2013-ViennotNN #debugging #manycore #validation

Transparent mutable replay for multicore debugging and patch validation (NV, SN, JN), pp. 127–138.

CC-2011-Odersky #parallel #persistent

Future-Proofing Collections: From Mutable to Persistent to Parallel (MO), p. 1.

CEFP-2009-Divianszky #modelling

Non-monadic Models of Mutable References (PD), pp. 146–182.

KDD-2008-HuYS #constraints #named #permutation #proximity

Permu-pattern: discovery of mutable permutation patterns with proximity constraint (MH, JY, WS), pp. 318–326.

ASE-2007-ArtziKGE #analysis

Combined static and dynamic mutability analysis (SA, AK, DG, MDE), pp. 104–113.

ESOP-2007-NanevskiAMB #data type #hoare #type system

Abstract Predicates and Mutable ADTs in Hoare Type Theory (AN, AA, GM, LB), pp. 189–204.

VMCAI-2007-RakamaricBH #data type #source code #verification

An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures (ZR, JDB, AJH), pp. 106–121.

CSCW-2006-RollandHM #concept #integration

Conceptualizing common information spaces across heterogeneous contexts: mutable mobiles and side-effects of integration (KHR, VH, EM), pp. 493–500.

SCAM-2005-ShiN #component #java #static analysis

Static Analysis for Computing Escapability and Mutability for Java Components (AS, GN), pp. 119–128.

LICS-2004-NaumannB #imperative #invariant #reasoning #towards

Towards Imperative Modules: Reasoning about Invariants and Sharing of Mutable State (DAN, MB), pp. 313–323.

LICS-2002-Reynolds #data type #logic

Separation Logic: A Logic for Shared Mutable Data Structures (JCR), pp. 55–74.

ECOOP-2001-BibersteinGP #encapsulation

Sealing, Encapsulation, and Mutability (MB, JYG, SP), pp. 28–52.

POPL-2001-IshtiaqO #data type

BI as an Assertion Language for Mutable Data Structures (SSI, PWO), pp. 14–26.

PPoPP-1993-HuelsbergenL #concurrent #garbage collection

A Concurrent Copying Garbage Collector for Languages that Distinguish (Im)mutable Data (LH, JRL), pp. 73–82.

ILPC-1984-EriksonR84 #array #logic programming

Incorporating Mutable Arrays into Logic Programming (LHE, MR), pp. 101–114.