scientific article; zbMATH DE number 2154396

MaRDI QIDQ4664922zbMATH OpenFDO

Authors Michael Franssen

Publication date 9 April 2005

zbMATH Keywords

typed \(\lambda\)-calculus

Mathematics Subject Classification ID

Logic in computer science (03B70) Functional programming and lambda calculus (68N18)

Recommendations

• A Hoare Logic for Call-by-Value Functional Programs
• scientific article; zbMATH DE number 90777
• scientific article; zbMATH DE number 2110621
• scientific article; zbMATH DE number 1984270
• Automata, Languages and Programming

Cited in

(4)

• The Hart-Shelah example, in stronger logics
• A Hoare Logic for Call-by-Value Functional Programs
• Deriving a Floyd-Hoare logic for non-local jumps from a formulæ-as-types notion of control
• Weakly expressive models for Hoare logic

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