Functional programs as executable specifications

DOI10.1098/RSTA.1984.0065MaRDI QIDQ3334047zbMATH OpenOpenAlexFDO

Authors

Publication date 1984

Published in Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/2066/113882

zbMATH Keywords

function spacesdata typesspecificationsfunctional programming languagedata domains

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 512959
• \textsc{HasCasl}: towards integrated specification and development of functional programs
• scientific article; zbMATH DE number 3902006
• scientific article; zbMATH DE number 3892548
• Specification statements and refinement

Cited in

(16)

• scientific article; zbMATH DE number 3902006 (Why is no real title available?)
• Programming with variable functions
• A note on higher-order functions versus logical variables
• Automated synthesis of functional programs with auxiliary functions
• Functional semantics
• First-order specifications of programmable data types
• scientific article; zbMATH DE number 4041241 (Why is no real title available?)
• Programming with variable functions
• scientific article; zbMATH DE number 3942991 (Why is no real title available?)
• When is a functional program not a functional program?
• scientific article; zbMATH DE number 3892548 (Why is no real title available?)
• scientific article; zbMATH DE number 139619 (Why is no real title available?)
• Functional differentiation of computer programs
• scientific article; zbMATH DE number 1231480 (Why is no real title available?)
• scientific article; zbMATH DE number 3860370 (Why is no real title available?)
• Functional programs that explain their work

This page was built for publication: Functional programs as executable specifications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3334047)