Visible to the public Running Incomplete ProgramsConflict Detection Enabled

TitleRunning Incomplete Programs
Publication TypeConference Paper
Year of Publication2017
AuthorsIan Voysey, Cyrus Omar, Matthew Hammer
Conference NamePOPL 2017 Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages
Date Published01/2017
KeywordsApr'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 Keynode-34448

Other available formats:

Voysey_Run_Incomplete_Prgms_JA.pdf
AttachmentTaxonomyKindSize
Voysey_Run_Incomplete_Prgms_JA.pdfPDF document185.57 KBDownloadPreview
AttachmentSize
bytes