Please use this identifier to cite or link to this item:
http://arks.princeton.edu/ark:/88435/dsp01ff3658223Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.advisor | Gupta, Aarti | - |
| dc.contributor.author | Slighton, Russell | - |
| dc.date.accessioned | 2020-08-12T16:02:46Z | - |
| dc.date.available | 2020-08-12T16:02:46Z | - |
| dc.date.created | 2020-05-02 | - |
| dc.date.issued | 2020-08-12 | - |
| dc.identifier.uri | http://arks.princeton.edu/ark:/88435/dsp01ff3658223 | - |
| dc.description.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. | en_US |
| dc.format.mimetype | application/pdf | - |
| dc.language.iso | en | en_US |
| dc.title | LICENSE | en_US |
| dc.title | LICENSE | en_US |
| dc.title | Elevator ad Parnassum: A SyGuS-Driven Counterpoint Tool Suite | en_US |
| dc.type | Princeton University Senior Theses | - |
| pu.date.classyear | 2020 | en_US |
| pu.department | Computer Science | en_US |
| pu.pdf.coverpage | SeniorThesisCoverPage | - |
| pu.contributor.authorid | 920057834 | - |
| 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.