scientific article

zbMath0585.68025MaRDI QIDQ3709866

Gilles Bernot, Christine Choppy, Michel Bidoit

Publication date: 1986

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

zbMATH Keywords

theorem provingsemanticscorrectness proofssufficient completenesshierarchical consistencyimplementation of abstract data typesprogram development by stepwise refinement

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05)

Related Items

Abstract data types with exception handling: An initial approach based on a distinction between exceptions and errors, Toward formal development of programs from algebraic specifications: Implementations revisited, Unnamed Item, Unnamed Item