scientific article; zbMATH DE number 3731315

zbMATH Open0466.68014MaRDI QIDQ3919062FDOQ3919062

Authors: J. A. Bergstra, Jan Willem Klop 

Publication date: 1981

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

zbMATH Keywords

schemetotal correctnessprototype prooffirst order proof system

Mathematics Subject Classification ID

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

Cited In (1)

• Correctness of programs with Pascal-like procedures without global variables

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