BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
data (6)
logic (3)
structur (3)
share (2)
refer (2)

Stem mutabl$ (all stems)

16 papers:

PLDIPLDI-2013-GordonEG #alias #refinement
Rely-guarantee references for refinement types over aliased mutable data (CSG, MDE, DG), pp. 73–84.
ASPLOSASPLOS-2013-ViennotNN #debugging #manycore #validation
Transparent mutable replay for multicore debugging and patch validation (NV, SN, JN), pp. 127–138.
CCCC-2011-Odersky #parallel #persistent
Future-Proofing Collections: From Mutable to Persistent to Parallel (MO), p. 1.
CEFPCEFP-2009-Divianszky #modelling
Non-monadic Models of Mutable References (PD), pp. 146–182.
KDDKDD-2008-HuYS #constraints #named #permutation #proximity
Permu-pattern: discovery of mutable permutation patterns with proximity constraint (MH, JY, WS), pp. 318–326.
ASEASE-2007-ArtziKGE #analysis
Combined static and dynamic mutability analysis (SA, AK, DG, MDE), pp. 104–113.
ESOPESOP-2007-NanevskiAMB #data type #hoare #type system
Abstract Predicates and Mutable ADTs in Hoare Type Theory (AN, AA, GM, LB), pp. 189–204.
VMCAIVMCAI-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.
CSCWCSCW-2006-RollandHM #concept #integration
Conceptualizing common information spaces across heterogeneous contexts: mutable mobiles and side-effects of integration (KHR, VH, EM), pp. 493–500.
SCAMSCAM-2005-ShiN #component #java #static analysis
Static Analysis for Computing Escapability and Mutability for Java Components (AS, GN), pp. 119–128.
LICSLICS-2004-NaumannB #imperative #invariant #reasoning #towards
Towards Imperative Modules: Reasoning about Invariants and Sharing of Mutable State (DAN, MB), pp. 313–323.
LICSLICS-2002-Reynolds #data type #logic
Separation Logic: A Logic for Shared Mutable Data Structures (JCR), pp. 55–74.
ECOOPECOOP-2001-BibersteinGP #encapsulation
Sealing, Encapsulation, and Mutability (MB, JYG, SP), pp. 28–52.
POPLPOPL-2001-IshtiaqO #data type
BI as an Assertion Language for Mutable Data Structures (SSI, PWO), pp. 14–26.
PPoPPPPoPP-1993-HuelsbergenL #concurrent #garbage collection
A Concurrent Copying Garbage Collector for Languages that Distinguish (Im)mutable Data (LH, JRL), pp. 73–82.
ICLPILPC-1984-EriksonR84 #array #logic programming
Incorporating Mutable Arrays into Logic Programming (LHE, MR), pp. 101–114.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.