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 Sep 2017 → 9 Sep 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 |
Projects
- 3 Finished
-
Skye-A programming language bridging theory and practice for scientific data curation
1/09/16 → 31/08/22
Project: Research
-
From Data Types to Session Types - A Basis for Concurrency and Distribution
20/05/13 → 19/11/20
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)