Synthesizing Programs from Program Pieces Using Genetic Programming and Refinement Type Checking.

Sabrina Tseng Erik Hemberg Una-May O'Reilly

Published in: EuroGP (2022)

Keyphrases

type checking
computer programs
program execution
java virtual machine
database query languages
java programs
data types
relational calculus
databases
data management
abstract data types