scientific article; zbMATH DE number 108549
From MaRDI portal
Publication:4024014
Cited in
(59)- Verified runtime assertion checking for memory properties
- Holistic Specifications for Robust Programs
- Gradual tensor shape checking
- Verifiable Code Generation from Scheduled Event-B Models
- Eager and delayed contract monitoring for call-by-value and call-by-name evaluation
- Specification and verification of object-oriented programs using supertype abstraction
- A new mechanism for exception handling in concurrent control systems
- Refinement and verification in component-based model-driven design
- jContractor: Introducing design-by-contract to Java using reflective bytecode instrumentation
- Second-order programs with preconditions
- Touch of class. Learning to program well with objects and contracts
- Object-oriented programming in control system design: A survey
- Higher order symbolic execution for contract verification and refutation
- Checking compatibility of bit sizes in floating point comparison operations
- Coalgebras for binary methods: Properties of bisimulations and invariants
- The consistent use of names and polymorphism in the definition of object Petri nets
- Expression-Based Aliasing for OO–languages
- Separation Logic for Multiple Inheritance
- Mechanisms for improved covariant type-checking
- Automated verification of shape, size and bag properties via user-defined predicates in separation logic
- Strong types for coordinating active objects
- Schedulability of asynchronous real-time concurrent objects
- Type-safe covariant specialization with generalized matching
- An extended account of contract monitoring strategies as patterns of communication
- Eiffel
- First-Class Object Sets
- Design and evaluation of C++ open multi-methods
- As-if-serial exception handling semantics for Java futures
- Featherweight Java with dynamic and static overloading
- A delegation-based object calculus with subtyping
- Semantics of temporal classes
- Denotational semantics of a simple model of Eiffel
- Confinement framework for encapsulating objects
- A Theory of Pointers for the UTP
- Selftype is a special case
- Trends in trends in functional programming 1999/2000 versus 2007/2008
- On simulation, subtyping and substitutability in sequential object systems
- A generic complete dynamic logic for reasoning about purity and effects
- Privacy via subsumption
- 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
- Dynamic overloading with copy semantics in object-oriented languages: a formal account
- The Green language
- Specification and verification challenges for sequential object-oriented programs
- scientific article; zbMATH DE number 49427 (Why is no real title available?)
- A meta-language for typed object-oriented languages
- A paradigmatic object-oriented programming language: Design, static typing and semantics
- The interaction of contracts and laziness
- Formal reasoning about modules, reuse and their correctness
- Precondition inference from intermittent assertions and application to contracts on collections
- Compositional schedulability analysis of real-time actor-based systems
- Metamodeling semantics of multiple inheritance
- Synthesis of positive logic programs for checking a class of definitions with infinite quantification
- Defining relationships in ecology using object-oriented formal specifications
- Coping with aliasing in the GNU Eiffel Compiler implementation
- A survey of challenges for runtime verification from advanced application domains (beyond software)
- Class invariants as abstract interpretation of trace semantics
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)
