PL Perspectives

Perspectives on computing and technology from and for those with an interest in programming languages.

Archive of posts tagged: rosette

Building Your First Program Synthesizer

Building Your First Program Synthesizer

by James Bornholt on Nov 26, 2019 | Tags: program synthesis, rosette, SMT solving

Program synthesis promises a new way to build software. In this post we build a simple synthesizer from scratch in just a few lines of code.