StriSynth: Synthesis for Live Programming.

Sumit Gulwani Mikaël Mayer Filip Niksic Ruzica Piskac

Published in: ICSE (2) (2015)

Keyphrases

programming language
functional programs
software engineering
real world
development environment
programming course
high level language
decision trees
programming environment
programming education