ITU

Verification of Program Transformations with Inductive Refinement Types

Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

Standard

Verification of Program Transformations with Inductive Refinement Types. / Al-Sibahi, Ahmad Salim; Jensen, Thomas P.; Dimovski, Aleksandar ; Wasowski, Andrzej.

In: ACM Transactions on Software Engineering and Methodology, Vol. 30, No. 1, 5, 2021, p. 1-33.

Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

Harvard

APA

Vancouver

Author

Al-Sibahi, Ahmad Salim ; Jensen, Thomas P. ; Dimovski, Aleksandar ; Wasowski, Andrzej. / Verification of Program Transformations with Inductive Refinement Types. In: ACM Transactions on Software Engineering and Methodology. 2021 ; Vol. 30, No. 1. pp. 1-33.

Bibtex

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

}

RIS

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 -

ID: 86469680