Syntactic control of interference revisited
type: Item
instance of: scholarly article
title: Syntactic control of interference revisited
zbMATH Open document ID: 0956.68082
DOI: 10.1016/S0304-3975(98)00359-4
author: Peter W. O'Hearn
author: Robert D. Tennent
author: John Power
author: Makoto Takeyama
published in: Theoretical Computer Science
publication date: 2000-08-23T00:00:00Z
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68N15
zbMATH DE Number: 1495175
zbMATH Keywords: denotational semantics
zbMATH Keywords: aliasing
zbMATH Keywords: interference control
zbMATH Keywords: type system
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 1495175