Please use this identifier to cite or link to this item:
http://arks.princeton.edu/ark:/88435/dsp01ff3658223| Title: | LICENSE LICENSE Elevator ad Parnassum: A SyGuS-Driven Counterpoint Tool Suite |
| Authors: | Slighton, Russell |
| Advisors: | Gupta, Aarti |
| Department: | Computer Science |
| Class Year: | 2020 |
| Abstract: | Counterpoint is a genre of music that is structured according to a rigid ruleset. Recent work has taken advantage of this insight to automatically synthesise music in the genre. In this project, I further exploit the insight to support repair and verification in addition to synthesis. I achieve this by encoding counterpoint composition as a Syntax-Guided synthesis problem, and in doing so, I translate a subset of counterpoint into a formal grammar and logical specification. Ultimately, I have packaged this approach into a graphical application whose execution speed I analyse herein. |
| URI: | http://arks.princeton.edu/ark:/88435/dsp01ff3658223 |
| Type of Material: | Princeton University Senior Theses |
| Language: | en |
| Appears in Collections: | Computer Science, 1988-2020 |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| SLIGHTON-RUSSELL-THESIS.pdf | 1.94 MB | Adobe PDF | Request a copy |
Items in Dataspace are protected by copyright, with all rights reserved, unless otherwise indicated.