Towards a refactoring tool for dependently-typed programs (Extended abstract)

Christopher Mark Brown; Adam Barwell; Simon Thompson; Susmit Sarkar; Edwin Charles Brady

Towards a refactoring tool for dependently-typed programs (Extended abstract)

Christopher Mark Brown, Adam Barwell, Simon Thompson, Susmit Sarkar, Edwin Charles Brady

Research output: Contribution to conference › Paper › peer-review

Abstract

While there is considerable work on refactoring functional programs, so far this had not extended to dependently-typed programs. In this paper, we begin to explore this space by looking at a range of transformations related to indexed data and functions.

Original language	English
Number of pages	8
Publication status	Published - 31 Jul 2022
Event	9th International Workshop on Rewriting Techniques for Program Transformations and Evaluation - Haifa, Haifa, Israel Duration: 31 Jul 2022 → 31 Jul 2022 Conference number: 9 https://wpte2022.github.io/

Workshop

Workshop	9th International Workshop on Rewriting Techniques for Program Transformations and Evaluation
Abbreviated title	WPTE 2022
Country/Territory	Israel
City	Haifa
Period	31/07/22 → 31/07/22
Internet address	https://wpte2022.github.io/

Keywords

Refactoring
Dependent-types

Access to Document

WPTE_2022 (3)
Copyright © 2022 C. Brown & A.D. Barwell & S. Thompson & E. Brady This work is licensed under the Creative Commons Attribution License.
Submitted manuscript, 174 KBLicence: CC BY

Energise: Refactorings and Skeletons for: Energise: Refactorings and Skeletons for Energy-Aware Applications on High-Performance Embedded Systems
Brown, C. M. (PI)
EPSRC
1/04/21 → 31/03/24
Project: Standard

Cite this

@conference{524f3bad97be448abb6e8199e4054e7f,

title = "Towards a refactoring tool for dependently-typed programs (Extended abstract)",

abstract = "While there is considerable work on refactoring functional programs, so far this had not extended to dependently-typed programs. In this paper, we begin to explore this space by looking at a range of transformations related to indexed data and functions.",

keywords = "Refactoring, Dependent-types",

author = "Brown, {Christopher Mark} and Adam Barwell and Simon Thompson and Susmit Sarkar and Brady, {Edwin Charles}",

note = "Funding: This work was generously supported by UK EPSRC Energise, grant number EP/V006290/1 (CMB). ; 9th International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE 2022 ; Conference date: 31-07-2022 Through 31-07-2022",

year = "2022",

month = jul,

day = "31",

language = "English",

url = "https://wpte2022.github.io/",

}

TY - CONF

T1 - Towards a refactoring tool for dependently-typed programs (Extended abstract)

AU - Brown, Christopher Mark

AU - Barwell, Adam

AU - Thompson, Simon

AU - Sarkar, Susmit

AU - Brady, Edwin Charles

N1 - Conference code: 9

PY - 2022/7/31

Y1 - 2022/7/31

N2 - While there is considerable work on refactoring functional programs, so far this had not extended to dependently-typed programs. In this paper, we begin to explore this space by looking at a range of transformations related to indexed data and functions.

AB - While there is considerable work on refactoring functional programs, so far this had not extended to dependently-typed programs. In this paper, we begin to explore this space by looking at a range of transformations related to indexed data and functions.

KW - Refactoring

KW - Dependent-types

M3 - Paper

T2 - 9th International Workshop on Rewriting Techniques for Program Transformations and Evaluation

Y2 - 31 July 2022 through 31 July 2022

ER -

Towards a refactoring tool for dependently-typed programs (Extended abstract)

Abstract

Workshop

Keywords

Access to Document

Fingerprint

Projects

Energise: Refactorings and Skeletons for: Energise: Refactorings and Skeletons for Energy-Aware Applications on High-Performance Embedded Systems

Cite this