Verifying Relational Properties of Functional Programs by First-Order Refinement.

Kazuyuki Asada Ryosuke Sato Naoki Kobayashi

Published in: PEPM (2015)

Keyphrases

functional programs
term rewriting systems
lazy evaluation
relational databases
desirable properties
data model
first order logic
relational learning
database systems
knowledge representation
logic programs
relational model