Resource Transition Systems and Full Abstraction for Linear Higher-Order Effectful Programs.

Ugo Dal Lago Francesco Gavazzo

Published in: FSCD (2021)

Keyphrases

higher order
transition systems
control flow
model checking
concurrent systems
temporal logic
practical reasoning
data flow
finite state
reactive systems
dynamic programming
formal verification