scientific article; zbMATH DE number 1304000
From MaRDI portal
Publication:4250669
zbMath0924.68038MaRDI QIDQ4250669
Dave Clarke, John Potter, James S. Noble
Publication date: 17 June 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (10)
Holistic Specifications for Robust Programs ⋮ RustHorn: CHC-Based Verification for Rust Programs ⋮ Confined types in Java ⋮ Coping with aliasing in the GNU Eiffel Compiler implementation ⋮ Dynamic role authorization in multiparty conversations ⋮ A semantic model of confinement and locality theorem ⋮ Enforcing Structural Invariants Using Dynamic Frames ⋮ Universe Types for Topology and Encapsulation ⋮ Scoped types and aspects for real-time Java memory management ⋮ Region Analysis for Race Detection
Uses Software
This page was built for publication:
