scientific article; zbMATH DE number 4113956

MaRDI QIDQ4729320zbMATH OpenFDO

Authors K. A. Zubovich, A. N. Meleshko

Publication date 1987

zbMATH Keywords

functional programming systemprogram verificationproof systems

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 4147469
• Problems of verification of functional programs
• scientific article; zbMATH DE number 140007
• Proving the correctness of recursion-based automatic program transformations
• Logical and algorithmic formalisms for the problem of correct program design

Cited in

(8)

• An approach to automatic deductive synthesis of functional programs
• Unsolvability of type correctness problem for functional programs
• scientific article; zbMATH DE number 4174908 (Why is no real title available?)
• scientific article; zbMATH DE number 140007 (Why is no real title available?)
• The correctness of a higher-order lazy functional language implementation: An exercise in mechanical theorem proving
• Logical and algorithmic formalisms for the problem of correct program design
• Proving the correctness of recursion-based automatic program transformations
• The correctness of a code generator for a functional language

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