A verification technique for deterministic parallel programs: Invited abstract

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

    Original languageEnglish
    Title of host publicationProceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017
    EditorsWim Vanhoof, Brigitte Pientka
    PublisherACM/Sheridan
    Pages3
    Number of pages1
    ISBN (Print)978-1-4503-5291-8
    DOIs
    Publication statusPublished - 2017
    Event19th International Conference on Principles and Practice of Declarative Programming (PPDP 2017) - Namur, Belgium
    Duration: 9 Oct 201711 Oct 2017

    Conference

    Conference19th International Conference on Principles and Practice of Declarative Programming (PPDP 2017)
    Abbreviated titlePPDP 2017
    CountryBelgium
    CityNamur
    Period9/10/1711/10/17

    Cite this

    Huisman, M. (2017). A verification technique for deterministic parallel programs: Invited abstract. In W. Vanhoof, & B. Pientka (Eds.), Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017 (pp. 3). ACM/Sheridan. https://doi.org/10.1145/3131851.3131852