Login / Signup

Template-based Theory Exploration: Discovering Properties of Functional Programs by Testing.

Sólrún Halla EinarsdóttirNicholas SmallboneMoa Johansson
Published in: IFL (2020)
Keyphrases
  • functional programs
  • term rewriting systems
  • lazy evaluation
  • management system
  • desirable properties
  • databases
  • stochastic grammar