Lazy behavioral subtyping
type: Item
instance of: scholarly article
title: Lazy behavioral subtyping
zbMATH Open document ID: 1204.68072
author: Johan Dovland
author: Einar Broch Johnsen
author: Olaf Owe
author: Martin Steffen
published in: The Journal of Logic and Algebraic Programming
publication date: 2010-10-22T00:00:00Z
full work available at URL: http://hdl.handle.net/10852/9861
Mathematics Subject Classification ID: 68N99
zbMATH DE Number: 5804234
zbMATH Keywords: object orientation
zbMATH Keywords: inheritance
zbMATH Keywords: code reuse
zbMATH Keywords: late binding
zbMATH Keywords: proof systems
zbMATH Keywords: method redefinition
zbMATH Keywords: incremental reasoning
zbMATH Keywords: behavioral subtyping
describes a project that uses: JML
describes a project that uses: Creol
describes a project that uses: Spec#
describes a project that uses: Featherweight Java
describes a project that uses: Simula 67
MaRDI profile type: Publication
OpenAlex ID: W2006935274
cites work: Verification: Theory and Practice
cites work: Q3046764
cites work: Q4730749
cites work: Ten Years of Hoare's Logic: A Survey—Part I
cites work: Q3999717
cites work: Q4536314
cites work: Specification and Development of Interactive Systems
cites work: Enhancing modular OO verification with separation logic
cites work: Q4004235
cites work: A Complete Guide to the Future
cites work: Q4222753
cites work: Observable behavior of dynamic systems: component reasoning for concurrent objects
cites work: Incremental Reasoning for Multiple Inheritance
cites work: An axiomatic basis for computer programming
cites work: Q5626277
cites work: Q3777424
cites work: Q2764132
cites work: Creol: A type-safe object-oriented model for distributed concurrent systems
cites work: Specification and verification challenges for sequential object-oriented programs
cites work: Separation Logic for Multiple Inheritance
cites work: An axiomatic proof technique for parallel programs
cites work: Separation logic, abstraction and inheritance
cites work: A proof outline logic for object-oriented programming
cites work: Axiomatic semantics of communicating sequential processes
cites work: Q4808824
cites work: Hoare logic for Java in Isabelle/HOL
cites work: Behavioral subtyping relations for active objects
DOI: 10.1016/J.JLAP.2010.07.008
Recommended article: Lazy abstraction
Recommended article: Incremental reasoning with lazy behavioral subtyping for multiple inheritance
Recommended article: Q4730749
Recommended article: Behavioural subtyping using invariants and constraints
Recommended article: Lazy Abstraction with Interpolants
Recommended article: Implementation of Functional Languages
Recommended article: Q2767195
Recommended article: Lazy Theories of Operations and Types
description: scientific article; zbMATH DE number 5804234