scientific article; zbMATH DE number 193025

MaRDI QIDQ4039897zbMATH OpenFDO

Authors Doug Cooper, Michael J. Clancy

Publication date 5 June 1993

zbMATH Keywords

computational implementationformal specificationfunctional programming languagesoftware engineeringsorting and searching. algebraic data typeStandard-Pascalstructured programmingtheorem prover

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) General topics in the theory of software (68N01)

Cited in

(1)

• scientific article; zbMATH DE number 3894452 (Why is no real title available?)

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