Temporal verification of higher-order functional programs.

Akihiro Murase Tachio Terauchi Naoki Kobayashi Ryosuke Sato Hiroshi Unno

Published in: POPL (2016)

Keyphrases

higher order
functional programs
term rewriting systems
spatio temporal
logic programs
lazy evaluation
stochastic grammar
pairwise
temporal data
temporal databases
functional language
artificial intelligence
high level
spatio temporal data