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

data domainsdata typesfunction spacesfunctional programming languagespecifications

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

(18)

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

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)