scientific article

Publication date: 23 January 1993

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

object-oriented programming language Eiffel

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of programming languages (68N15)

Related Items

Verifiable Code Generation from Scheduled Event-B Models, Holistic Specifications for Robust Programs, Object-oriented programming in control system design: A survey, Strong types for coordinating active objects, Extending the object model to provide explicit support for crosscutting concerns, JAC—Access right based encapsulation for Java, Defining relationships in ecology using object-oriented formal specifications, Synthesis of positive logic programs for checking a class of definitions with infinite quantification, A delegation-based object calculus with subtyping, Denotational semantics of a simple model of Eiffel, A meta-language for typed object-oriented languages, Mechanisms for improved covariant type-checking, Expression-Based Aliasing for OO–languages, Specification and verification of object-oriented programs using supertype abstraction, Specification and verification challenges for sequential object-oriented programs, Schedulability of asynchronous real-time concurrent objects, On simulation, subtyping and substitutability in sequential object systems, Dynamic overloading with copy semantics in object-oriented languages: a formal account, An extended account of contract monitoring strategies as patterns of communication, Design and evaluation of C++ open multi-methods, A new mechanism for exception handling in concurrent control systems, Trends in trends in functional programming 1999/2000 versus 2007/2008, Confinement framework for encapsulating objects, Automated verification of shape, size and bag properties via user-defined predicates in separation logic, Higher order symbolic execution for contract verification and refutation, Selftype is a special case, Formal reasoning about modules, reuse and their correctness, The consistent use of names and polymorphism in the definition of Object Petri Nets, Class invariants as abstract interpretation of trace semantics, Coalgebras for Binary Methods: Properties of Bisimulations and Invariants, The interaction of contracts and laziness, Separation Logic for Multiple Inheritance, Compositional schedulability analysis of real-time actor-based systems, Metamodeling semantics of multiple inheritance, Checking Compatibility of Bit Sizes in Floating Point Comparison Operations, A survey of challenges for runtime verification from advanced application domains (beyond software), A generic complete dynamic logic for reasoning about purity and effects, Eager and delayed contract monitoring for call-by-value and call-by-name evaluation, Construction of robust class hierarchies, Providing multiple views for objects, Second-Order Programs with Preconditions, The Green language, Refinement and verification in component-based model-driven design, Precondition Inference from Intermittent Assertions and Application to Contracts on Collections, Featherweight Java with dynamic and static overloading, As-if-serial exception handling semantics for Java futures, Eiffel, First-Class Object Sets, A Theory of Pointers for the UTP, Semantics of temporal classes, Privacy via subsumption, Type-safe covariant specialization with generalized matching, A paradigmatic object-oriented programming language: Design, static typing and semantics, jContractor: Introducing design-by-contract to Java using reflective bytecode instrumentation