EasyChair Smart SlideDocs/Log in
Author: Sabrina Tseng

This page shows all presentations of this author published in EasyChair Smart Slide.

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

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

Sabrina Tseng, Erik Hemberg and Una-May O'Reilly

Presentations in this collection: 1
Copyright © 2002 – 2024 EasyChair