Login / Signup

Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System.

Burke FetscherKoen ClaessenMichal H. PalkaJohn HughesRobert Bruce Findler
Published in: ESOP (2015)
Keyphrases
  • automatically generating
  • automatically generated
  • machine learning
  • type definitions
  • data mining
  • information systems
  • optimal solution
  • digital libraries
  • evolutionary algorithm