Imperative functional programs that explain their work

Wilmer Ricciotti; Jan Stolarek; Roly Perera; James Cheney

doi:10.1145/3110258

Imperative functional programs that explain their work

Wilmer Ricciotti, Jan Stolarek, Roly Perera, James Cheney

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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	https://doi.org/10.1145/3110258
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	https://conf.researchr.org/home/icfp-2017

Access to Document

10.1145/3110258Licence: Creative Commons: Attribution (CC-BY)

main-23Accepted author manuscript, 632 KB

http://dl.acm.org/citation.cfm?doid=3136534.3110258Licence: Creative Commons: Attribution (CC-BY)

Skye-A programming language bridging theory and practice for scientific data curation
Cheney, J. (Principal Investigator)
EU government bodies
1/09/16 → 28/02/23
Project: Research
From Data Types to Session Types - A Basis for Concurrency and Distribution
Wadler, P. (Principal Investigator)
EPSRC
20/05/13 → 19/11/20
Project: Research
Foundations of language-based provenance security
Cheney, J. (Principal Investigator)
Non-EU other
1/01/13 → 30/06/18
Project: Research

James Cheney
- jcheneyinf.ed.acuk
- 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
- wricciotinf.ed.acuk
- School of Informatics - Senior Researcher
- Laboratory for Foundations of Computer Science
- Foundations of Computation
Person: Academic: Research Active (Research Assistant)

Cite this

@inproceedings{536d5547d61847299d2840a82afef6ca,

title = "Imperative functional programs that explain their work",

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.",

author = "Wilmer Ricciotti and Jan Stolarek and Roly Perera and James Cheney",

year = "2017",

month = aug,

day = "29",

doi = "10.1145/3110258",

language = "English",

series = "Proceedings of the ACM on Programming Languages",

publisher = "ACM",

number = "ICFP",

pages = "14:1--14:28",

booktitle = "22nd ACM SIGPLAN International Conference on Functional Programming (ICFP 2017)",

note = "22nd ACM SIGPLAN International Conference on Functional Programming, ICFP 2017 ; Conference date: 03-09-2017 Through 09-09-2017",

url = "https://conf.researchr.org/home/icfp-2017",

}

Ricciotti, W, Stolarek, J, Perera, R & Cheney, J 2017, Imperative functional programs that explain their work. in 22nd ACM SIGPLAN International Conference on Functional Programming (ICFP 2017). Proceedings of the ACM on Programming Languages, no. ICFP, vol. 1, pp. 14:1-14:28, 22nd ACM SIGPLAN International Conference on Functional Programming, Oxford, United Kingdom, 3/09/17. https://doi.org/10.1145/3110258

Imperative functional programs that explain their work. / Ricciotti, Wilmer; Stolarek, Jan; Perera, Roly et al.
22nd ACM SIGPLAN International Conference on Functional Programming (ICFP 2017). 2017. p. 14:1-14:28 (Proceedings of the ACM on Programming Languages; Vol. 1, No. ICFP).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Imperative functional programs that explain their work

AU - Ricciotti, Wilmer

AU - Stolarek, Jan

AU - Perera, Roly

AU - Cheney, James

PY - 2017/8/29

Y1 - 2017/8/29

N2 - 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.

AB - 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.

U2 - 10.1145/3110258

DO - 10.1145/3110258

M3 - Conference contribution

T3 - Proceedings of the ACM on Programming Languages

SP - 14:1-14:28

BT - 22nd ACM SIGPLAN International Conference on Functional Programming (ICFP 2017)

T2 - 22nd ACM SIGPLAN International Conference on Functional Programming

Y2 - 3 September 2017 through 9 September 2017

ER -

Imperative functional programs that explain their work

Abstract

Publication series

Conference

Access to Document

Fingerprint

Projects

Skye-A programming language bridging theory and practice for scientific data curation

From Data Types to Session Types - A Basis for Concurrency and Distribution

Foundations of language-based provenance security

Profiles

James Cheney

Wilmer Ricciotti

Cite this