Symbolic Execution of High-Level Transformations

Ahmad Salim Al-Sibahi, Aleksandar Dimovski, Andrzej Wasowski

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Original languageEnglish
    Title of host publicationProceedings of the 9th ACM SIGPLAN International Conference on Software Language Engineering
    PublisherAssociation for Computing Machinery
    Publication date2016
    ISBN (Print)978-1-4503-4447-0
    DOIs
    Publication statusPublished - 2016
    EventACM SIGPLAN International Conference: Software Language Engineering - Mövenpick Hotel, Amsterdam, Netherlands
    Duration: 31 Oct 20161 Nov 2016
    Conference number: 9

    Conference

    ConferenceACM SIGPLAN International Conference
    Number9
    LocationMövenpick Hotel
    Country/TerritoryNetherlands
    CityAmsterdam
    Period31/10/201601/11/2016

    Cite this