Login / Signup
Sabrina Tseng
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 1
Top Topics
Java Virtual Machine
Type Checking
Relational Calculus
Top Venues
EuroGP
</>
Publications
</>
Sabrina Tseng
,
Erik Hemberg
,
Una-May O'Reilly
Synthesizing Programs from Program Pieces Using Genetic Programming and Refinement Type Checking.
EuroGP
(2022)