Propositional dynamic logic for higher-order functional programs

DOI10.1007/978-3-319-96145-3_6zbMath1511.68088MaRDI QIDQ6045000

Hiroshi Unno, Yuki Satake

Publication date: 26 May 2023

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

Mathematics Subject Classification ID

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

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