Projects per year
Abstract
Program slicing provides explanations that illustrate how program outputs were produced from inputs. We build on an approach introduced in prior work, where dynamic slicing was defined for pure higher-order functional programs as a Galois connection between lattices of partial inputs and partial outputs. We extend this approach to imperative functional programs that combine higher-order programming with references and exceptions. We present proofs of correctness and optimality of our approach and a proof-of-concept implementation and experimental evaluation.
Original language | English |
---|---|
Title of host publication | 22nd ACM SIGPLAN International Conference on Functional Programming (ICFP 2017) |
Pages | 14:1-14:28 |
Number of pages | 26 |
DOIs | |
Publication status | Published - 29 Aug 2017 |
Event | 22nd ACM SIGPLAN International Conference on Functional Programming - Oxford, United Kingdom Duration: 3 Sept 2017 → 9 Sept 2017 https://conf.researchr.org/home/icfp-2017 |
Publication series
Name | Proceedings of the ACM on Programming Languages |
---|---|
Publisher | ACM |
Number | ICFP |
Volume | 1 |
ISSN (Electronic) | 2475-1421 |
Conference
Conference | 22nd ACM SIGPLAN International Conference on Functional Programming |
---|---|
Abbreviated title | ICFP 2017 |
Country/Territory | United Kingdom |
City | Oxford |
Period | 3/09/17 → 9/09/17 |
Internet address |
Fingerprint
Dive into the research topics of 'Imperative functional programs that explain their work'. Together they form a unique fingerprint.Projects
- 3 Finished
-
Skye-A programming language bridging theory and practice for scientific data curation
Cheney, J. (Principal Investigator)
1/09/16 → 28/02/23
Project: Research
-
From Data Types to Session Types - A Basis for Concurrency and Distribution
Wadler, P. (Principal Investigator)
20/05/13 → 19/11/20
Project: Research
-
Foundations of language-based provenance security
Cheney, J. (Principal Investigator)
1/01/13 → 30/06/18
Project: Research
Profiles
-
James Cheney
- School of Informatics - Personal Chair of Programming Languages and Systems
- Laboratory for Foundations of Computer Science
- Foundations of Computation
Person: Academic: Research Active
-
Wilmer Ricciotti
- School of Informatics - Senior Researcher
- Laboratory for Foundations of Computer Science
- Foundations of Computation
Person: Academic: Research Active (Research Assistant)