Symbolic Execution of High-Level Transformations

Ahmad Salim Al-Sibahi, Aleksandar Dimovski, Andrzej Wasowski

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

Originalsprog	Engelsk
Titel	Proceedings of the 9th ACM SIGPLAN International Conference on Software Language Engineering
Forlag	Association for Computing Machinery
Publikationsdato	2016
ISBN (Trykt)	978-1-4503-4447-0
DOI	https://doi.org/10.1145/2997364.2997382
Status	Udgivet - 2016
Begivenhed	Software Language Engineering: Software Language Engineering - Mövenpick Hotel, Amsterdam, Holland Varighed: 31 okt. 2016 → 1 nov. 2016 Konferencens nummer: 9

Konference	Software Language Engineering
Nummer	9
Lokation	Mövenpick Hotel
Land/Område	Holland
By	Amsterdam
Periode	31/10/2016 → 01/11/2016

Adgang til dokumentet

@inproceedings{1ea79a5b31c2437ebaa7d4a300e1c496,

title = "Symbolic Execution of High-Level Transformations",

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

year = "2016",

doi = "10.1145/2997364.2997382",

language = "English",

isbn = "978-1-4503-4447-0",

booktitle = "Proceedings of the 9th ACM SIGPLAN International Conference on Software Language Engineering",

publisher = "Association for Computing Machinery",

address = "United States",

note = "ACM SIGPLAN International Conference : Software Language Engineering, SLE'16 ; Conference date: 31-10-2016 Through 01-11-2016",

}

Symbolic Execution of High-Level Transformations. / Al-Sibahi, Ahmad Salim; Dimovski, Aleksandar; Wasowski, Andrzej.
Proceedings of the 9th ACM SIGPLAN International Conference on Software Language Engineering. Association for Computing Machinery, 2016.

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

TY - GEN

T1 - Symbolic Execution of High-Level Transformations

AU - Al-Sibahi, Ahmad Salim

AU - Dimovski, Aleksandar

AU - Wasowski, Andrzej

N1 - Conference code: 9

PY - 2016

Y1 - 2016

U2 - 10.1145/2997364.2997382

DO - 10.1145/2997364.2997382

M3 - Article in proceedings

SN - 978-1-4503-4447-0

BT - Proceedings of the 9th ACM SIGPLAN International Conference on Software Language Engineering

PB - Association for Computing Machinery

T2 - ACM SIGPLAN International Conference

Y2 - 31 October 2016 through 1 November 2016

ER -