scientific article; zbMATH DE number 108549
From MaRDI portal
Publication:4024014
zbMATH Open0779.68013MaRDI QIDQ4024014FDOQ4024014
Authors: Bertrand Meyer 
Publication date: 23 January 1993
Title of this publication is not available (Why is that?)
Recommendations
Theory of programming languages (68N15) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01)
Cited In (59)
- Verifiable Code Generation from Scheduled Event-B Models
- Holistic Specifications for Robust Programs
- Verified Runtime Assertion Checking for Memory Properties
- Gradual tensor shape checking
- Mechanisms for improved covariant type-checking
- Type-safe covariant specialization with generalized matching
- Class invariants as abstract interpretation of trace semantics
- Eager and delayed contract monitoring for call-by-value and call-by-name evaluation
- Strong types for coordinating active objects
- Schedulability of asynchronous real-time concurrent objects
- Compositional schedulability analysis of real-time actor-based systems
- Metamodeling semantics of multiple inheritance
- The consistent use of names and polymorphism in the definition of Object Petri Nets
- Construction of robust class hierarchies
- Extending the object model to provide explicit support for crosscutting concerns
- JAC—Access right based encapsulation for Java
- Providing multiple views for objects
- A generic complete dynamic logic for reasoning about purity and effects
- Expression-Based Aliasing for OO–languages
- First-Class Object Sets
- Separation Logic for Multiple Inheritance
- An extended account of contract monitoring strategies as patterns of communication
- Synthesis of positive logic programs for checking a class of definitions with infinite quantification
- Coalgebras for binary methods: Properties of bisimulations and invariants
- Automated verification of shape, size and bag properties via user-defined predicates in separation logic
- Denotational semantics of a simple model of Eiffel
- A Theory of Pointers for the UTP
- Trends in trends in functional programming 1999/2000 versus 2007/2008
- A survey of challenges for runtime verification from advanced application domains (beyond software)
- Refinement and verification in component-based model-driven design
- Semantics of temporal classes
- Dynamic overloading with copy semantics in object-oriented languages: a formal account
- On simulation, subtyping and substitutability in sequential object systems
- Design and evaluation of C++ open multi-methods
- Privacy via subsumption
- Coping with aliasing in the GNU Eiffel Compiler implementation
- Specification and verification of object-oriented programs using supertype abstraction
- As-if-serial exception handling semantics for Java futures
- Featherweight Java with dynamic and static overloading
- Title not available (Why is that?)
- Eiffel
- A new mechanism for exception handling in concurrent control systems
- Checking Compatibility of Bit Sizes in Floating Point Comparison Operations
- A meta-language for typed object-oriented languages
- Selftype is a special case
- The Green language
- Object-oriented programming in control system design: A survey
- jContractor: Introducing design-by-contract to Java using reflective bytecode instrumentation
- Defining relationships in ecology using object-oriented formal specifications
- Second-order programs with preconditions
- Formal reasoning about modules, reuse and their correctness
- Specification and verification challenges for sequential object-oriented programs
- Precondition inference from intermittent assertions and application to contracts on collections
- Higher order symbolic execution for contract verification and refutation
- A paradigmatic object-oriented programming language: Design, static typing and semantics
- Confinement framework for encapsulating objects
- A delegation-based object calculus with subtyping
- Touch of class. Learning to program well with objects and contracts
- The interaction of contracts and laziness
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4024014)
