Publication:4024014
From MaRDI portal
zbMath0779.68013MaRDI QIDQ4024014
Publication date: 23 January 1993
68-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science
68N15: Theory of programming languages
Related Items
Unnamed Item, Unnamed Item, A paradigmatic object-oriented programming language: Design, static typing and semantics, Strong types for coordinating active objects, Extending the object model to provide explicit support for crosscutting concerns, JAC—Access right based encapsulation for Java, A Theory of Pointers for the UTP, Eiffel, jContractor: Introducing design-by-contract to Java using reflective bytecode instrumentation, Refinement and verification in component-based model-driven design, Selftype is a special case, Object-oriented programming in control system design: A survey, Defining relationships in ecology using object-oriented formal specifications, A meta-language for typed object-oriented languages, Semantics of temporal classes, Privacy via subsumption, Type-safe covariant specialization with generalized matching, Denotational semantics of a simple model of Eiffel, Specification and verification of object-oriented programs using supertype abstraction, On simulation, subtyping and substitutability in sequential object systems, A new mechanism for exception handling in concurrent control systems, Mechanisms for improved covariant type-checking, The Green language, Specification and verification challenges for sequential object-oriented programs, Coalgebras for Binary Methods: Properties of Bisimulations and Invariants