Propositional Dynamic Logic for Higher-Order Functional Programs.

Yuki Satake Hiroshi Unno

Published in: CAV (1) (2018)

Keyphrases

functional programs
higher order
propositional dynamic logic
term rewriting systems
lazy evaluation
reasoning about actions
logic programs
functional language
dynamic logic
stochastic grammar
pairwise
functional programming
artificial intelligence
integrity constraints