scientific article; zbMATH DE number 193025

zbMATH Open0643.68001MaRDI QIDQ4039897FDOQ4039897

Authors: Doug Cooper, Michael J. Clancy 

Publication date: 5 June 1993

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

Recommendations

• scientific article; zbMATH DE number 45847
• scientific article; zbMATH DE number 193157
• scientific article; zbMATH DE number 1406847
• scientific article; zbMATH DE number 4005576
• scientific article; zbMATH DE number 2173656

zbMATH Keywords

software engineeringformal specificationtheorem proverstructured programmingfunctional programming languagecomputational implementationStandard-Pascalsorting and searching. algebraic data type

Mathematics Subject Classification ID

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

Cited In (1)

• Title not available (Why is that?)

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)