Verification of Program Transformations with Inductive Refinement Types

Ahmad Salim Al-Sibahi, Thomas P. Jensen, Aleksandar Dimovski, Andrzej Wasowski

Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

Original language	English
Article number	5
Journal	ACM Transactions on Software Engineering and Methodology
Volume	30
Issue number	1
Pages (from-to)	1-33
ISSN	1049-331X
DOIs	https://doi.org/10.1145/3409805
Publication status	Published - 2021

Access to Document

@article{1e054600a4254d8da97c93dcd93c32d0,

title = "Verification of Program Transformations with Inductive Refinement Types",

author = "Al-Sibahi, {Ahmad Salim} and Jensen, {Thomas P.} and Aleksandar Dimovski and Andrzej Wasowski",

year = "2021",

doi = "10.1145/3409805",

language = "English",

volume = "30",

pages = "1--33",

journal = "ACM Transactions on Software Engineering and Methodology",

issn = "1049-331X",

publisher = "Association for Computing Machinery",

number = "1",

}

TY - JOUR

T1 - Verification of Program Transformations with Inductive Refinement Types

AU - Al-Sibahi, Ahmad Salim

AU - Jensen, Thomas P.

AU - Dimovski, Aleksandar

AU - Wasowski, Andrzej

PY - 2021

Y1 - 2021

U2 - 10.1145/3409805

DO - 10.1145/3409805

M3 - Journal article

VL - 30

SP - 1

EP - 33

JO - ACM Transactions on Software Engineering and Methodology

JF - ACM Transactions on Software Engineering and Methodology

SN - 1049-331X

IS - 1

M1 - 5

ER -