Checking Interference with Fractional Permissions
- 13 May 2003
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Pointer analysis for structured parallel programsACM Transactions on Programming Languages and Systems, 2003
- Capabilities for SharingLecture Notes in Computer Science, 2001
- Alias Types for Recursive Data StructuresLecture Notes in Computer Science, 2001
- Typed memory management via static capabilitiesACM Transactions on Programming Languages and Systems, 2000
- Alias TypesLecture Notes in Computer Science, 2000
- An Object-Oriented Effects SystemLecture Notes in Computer Science, 1999
- Types for Safe LockingLecture Notes in Computer Science, 1999
- Building a bridge between pointer aliases and program dependencesPublished by Springer Science and Business Media LLC ,1998
- Syntactic Control of Interference RevisitedElectronic Notes in Theoretical Computer Science, 1995
- Polymorphic type, region and effect inferenceJournal of Functional Programming, 1992