Skip to search box Skip to navigation Skip to main content

Symbolic Execution of High-Level Transformations

Ahmad Salim Al-Sibahi
,
Aleksandar Dimovski
,
Andrzej Wasowski

PhD School

Research Output:

Conference Article in Proceeding or Book/Report chapter

Article in proceedings

Peer-review

Open access

Publication Information

Output type

Research Output:

Conference Article in Proceeding or Book/Report chapter

Article in proceedings

Peer-review

Original language

English

Publication milestones

Published - 2016

Publication status

Published - 2016

Publisher

Association for Computing Machinery, United States

ISBN (Print)

978-1-4503-4447-0

Publication IDs

Scopus: 85006790383

Host publication title

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

Publication metrics

PlumX, opens in new tab

Citations

18

Captures

12

Access to documents

10.1145/2997364.2997382

http://itu.dk/people/asal/pubs/sle-2016-paper.pdf

Accepted author manuscript

License:Other

Related Event

Title

ACM SIGPLAN International Conference: Software Language Engineering

Event type

Conference

Degree of recognition

International event

Date

31/10/2016 - 01/11/2016

Location

Mövenpick HotelAmsterdamNetherlands