Problems of verification of functional programs

MaRDI QIDQ3568323zbMATH OpenFDO

Authors Natela Archvadze, Merab Pkhovelishvili, Lia Shetsiruli

Publication date 17 June 2010

zbMATH Keywords

functional programminginduction methodLISPprogram verificationrecursive function

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Verification of procedural programs
• Program verification. Fundamental issues in computer science
• scientific article; zbMATH DE number 512849
• scientific article; zbMATH DE number 4172362
• Program verification: state of the art, problems, and results. I

Cited in

(14)

• Problem-oriented approach to verification of file-processing programs
• Program verification. Fundamental issues in computer science
• A unified approach of program verification
• A vindication of program verification
• Verification of procedural programs
• Certifying and Reasoning on Cost Annotations of Functional Programs
• scientific article; zbMATH DE number 4172362 (Why is no real title available?)
• scientific article; zbMATH DE number 4041241 (Why is no real title available?)
• scientific article; zbMATH DE number 1241702 (Why is no real title available?)
• scientific article; zbMATH DE number 512849 (Why is no real title available?)
• Properties Incompleteness Evaluation by Functional Verification
• scientific article; zbMATH DE number 4113956 (Why is no real title available?)
• Mathematics of Program Construction
• Proofs that count

This page was built for publication: Problems of verification of functional programs

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