A semantic model of confinement and locality theorem
type: Item
instance of: scholarly article
title: A semantic model of confinement and locality theorem
zbMATH Open document ID: 1267.68091
author: Qin Shu
author: Yijing Liu
author: Shu-Ling Wang
author: Zongyan Qiu
published in: Frontiers of Computer Science in China
publication date: 2013-07-04T00:00:00Z
Mathematics Subject Classification ID: 68N19
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 6183804
zbMATH Keywords: operational semantics
zbMATH Keywords: confinement
zbMATH Keywords: well confined program
zbMATH Keywords: locality theorem
zbMATH Keywords: confined type
zbMATH Keywords: ownership
MaRDI profile type: Publication
full work available at URL: s11704-009-0075-6
OpenAlex ID: W2145371024
cites work: Q4250669
cites work: Confined types in Java
cites work: Alias burying: Unique variables without destructive reads
cites work: Representation independence, confinement and access control [extended abstract]
cites work: Ownership confinement ensures representation independence for object-oriented programs
cites work: Q2779232
cites work: Q2779230
DOI: 10.1007/S11704-009-0075-6
Recommended article: Notions of locality and their logical characterizations over finite models
Recommended article: A logical theory of localization
Recommended article: Q4738240
Recommended article: Local Models Semantics, or contextual reasoning = locality + compatibility
Recommended article: Q4783304
Recommended article: An existential locality theorem
Recommended article: Localizing the axioms
Recommended article: Localizing finite-depth Kripke models
Recommended article: Q4521826
Recommended article: A theory of local negation: The model and some applications
description: scientific article; zbMATH DE number 6183804