scientific article

zbMATH Open0447.68022MaRDI QIDQ3893286

J. A. Bergstra, J. V. Tucker

Publication date: 1980

Title of this publication is not available (Why is that?)

zbMATH Keywords

partial correctnessHoare's logicfirst-order specifications for data types

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Data structures (68P05) Applications of computability and recursion theory (03D80)

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 Q3893286)