Symbolic Execution of High-Level Transformations

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	Proceedings of the 9th ACM SIGPLAN International Conference on Software Language Engineering
Publisher	Association for Computing Machinery
Publication date	2016
ISBN (Print)	978-1-4503-4447-0
DOIs	https://doi.org/10.1145/2997364.2997382
Publication status	Published - 2016
Event	ACM SIGPLAN International Conference: Software Language Engineering - Mövenpick Hotel, Amsterdam, Netherlands Duration: 31 Oct 2016 → 1 Nov 2016 Conference number: 9

Conference	ACM SIGPLAN International Conference
Number	9
Location	Mövenpick Hotel
Country/Territory	Netherlands
City	Amsterdam
Period	31/10/2016 → 01/11/2016

Access to Document

@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.

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › 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 -