Functional procedures in higher-order logic

DOI10.1007/3-540-44659-1_23MaRDI QIDQ2754055zbMATH OpenFDO

Authors Linas Laibinis, Joakim von Wright

Publication date 11 November 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-44659-1_23

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• A functional logic for higher level reasoning about computation
• scientific article; zbMATH DE number 3900131
• scientific article; zbMATH DE number 2110621
• Refinement concepts formalised in higher order logic
• Calculating with procedure calls

Cited in

(7)

• A functional logic for higher level reasoning about computation
• Second-order programs with preconditions
• scientific article; zbMATH DE number 5863196 (Why is no real title available?)
• Functional operations in frege'sbegriffsschrift
• Interfaces for refining recursion and procedures
• Correctness of procedure representations in higher-order assembly language
• Partial and nested recursive function definitions in higher-order logic

This page was built for publication: Functional procedures in higher-order logic

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