Verification of Program Transformations with Inductive Refinement Types

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

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

Originalsprog	Engelsk
Artikelnummer	5
Tidsskrift	ACM Transactions on Software Engineering and Methodology
Vol/bind	30
Udgave nummer	1
Sider (fra-til)	1-33
ISSN	1049-331X
DOI	https://doi.org/10.1145/3409805
Status	Udgivet - 2021

Adgang til dokumentet

@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

SN - 1049-331X

VL - 30

SP - 1

EP - 33

JO - ACM Transactions on Software Engineering and Methodology

JF - ACM Transactions on Software Engineering and Methodology

IS - 1

M1 - 5

ER -