History-based reasoning about behavioral subtyping

DOI10.1007/978-3-031-77019-7_19MaRDI QIDQ6979812zbMATH OpenFDO

Authors Jinting Bian, Hans-Dieter A. Hiep, Frank S. de Boer

Publication date 23 May 2025

Full work available at URL https://doi.org/10.1007/978-3-031-77019-7_19

zbMATH Keywords

behavioral subtypinghistory-based reasoningobject-oriented programmingsoftware verification

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites work

• scientific article; zbMATH DE number 46740 (Why is no real title available?)
• scientific article; zbMATH DE number 1105469 (Why is no real title available?)
• Integrating ADTs in KeY and Their Application to History-Based Reasoning
• Isabelle/HOL. A proof assistant for higher-order logic
• Modular invariants for layered object structures
• Modular specification and verification of object-oriented programs
• On correct refinement of programs
• Specification and verification of object-oriented programs using supertype abstraction
• Trace-based deductive verification

Cited in

(1)

• History-based reasoning about behavioral subtyping (extended paper)

This page was built for publication: History-based reasoning about behavioral subtyping

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6979812)