Login / Signup

Verifying relational properties of functional programs by first-order refinement.

Kazuyuki AsadaRyosuke SatoNaoki Kobayashi
Published in: Sci. Comput. Program. (2017)
Keyphrases
  • functional programs
  • term rewriting systems
  • desirable properties
  • lazy evaluation
  • data model
  • relational learning
  • first order logic
  • model checking
  • decision diagrams
  • databases
  • high level
  • rough sets