Propositional dynamic logic for higher-order functional programs

DOI10.1007/978-3-319-96145-3_6MaRDI QIDQ6045000zbMATH OpenFDO

Authors Yuki Satake, Hiroshi Unno

Publication date 26 May 2023

Published in Computer Aided Verification (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-96145-3_6

Mathematics Subject Classification ID

Logic in computer science (03B70) Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Higher-order program verification via HFL model checking
• Foundations of Software Science and Computation Structures
• CONCUR 2004 - Concurrency Theory
• Types and higher-order recursion schemes for verification of higher-order programs
• Propositional dynamic logic with recursive programs

Cited in

(2)

• A temporal logic for higher-order functional programs
• Propositional dynamic logic of context-free programs and fixpoint logic with chop

This page was built for publication: Propositional dynamic logic for higher-order functional programs

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