Publication:4250669
From MaRDI portal
zbMath0924.68038MaRDI QIDQ4250669
Dave Clarke, John Potter, James S. Noble
Publication date: 17 June 1999
68N15: Theory of programming languages
Related Items
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, Scoped types and aspects for real-time Java memory management, Enforcing Structural Invariants Using Dynamic Frames, Region Analysis for Race Detection, Universe Types for Topology and Encapsulation
Uses Software