scientific article
From MaRDI portal
Publication:2779232
zbMath0982.68763MaRDI QIDQ2779232
John Potter, Dave Clarke, James S. Noble
Publication date: 15 April 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2072/20720053
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Computing methodologies and applications (68U99)
Related Items
Towards imperative modules: reasoning about invariants and sharing of mutable state, On assertion-based encapsulation for object invariants and simulations, A semantic model of confinement and locality theorem, Resources, concurrency, and local reasoning, Blaming the client: on data refinement in the presence of pointers, Observational purity and encapsulation, Confinement framework for encapsulating objects, Refactoring and representation independence for class hierarchies, Synchronizing Model and Program Refactoring, A Representation-Independent Behavioral Semantics for Object-Oriented Components, Universe Types for Topology and Encapsulation
Uses Software
