C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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