scientific article
From MaRDI portal
Publication:3919061
zbMATH Open0466.68013MaRDI QIDQ3919061
Jan Willem Klop, J. A. Bergstra
Publication date: 1981
Title of this publication is not available (Why is that?)
program correctnessprogram equivalenceconservative refinementdata type specificationlogical completionprototype proofprogram inclusion
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 Q3919061)
