Running Incomplete Programs
Title | Running Incomplete Programs |
Publication Type | Conference Paper |
Year of Publication | 2017 |
Authors | Ian Voysey, Cyrus Omar, Matthew Hammer |
Conference Name | POPL 2017 Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages |
Date Published | 01/2017 |
Keywords | Apr'17, CMU |
Abstract | We typically only consider running programs that are completely written. Programmers end up inserting ad hoc dummy values into their incomplete programs to receive feedback about dynamic behavior. In this work we suggest an evaluation mechanism for incomplete programs, represented as terms with holes. Rather than immediately failing when a hole is encountered, evaluation propagates holes as far as possible. The result is a substantially tighter development loop. |
Citation Key | node-34448 |
Attachment | Size |
---|---|
bytes |