📖
Runtime correctness checking for emerging programming paradigms
Joachim Protze, Christian Terboven, Matthias Müller, Serge Petiton, Nahid Emad, Hitoshi Murai, Taisuke Boku

Runtime correctness checking for emerging programming paradigms

Science & Mathematics Published 2017 Verification Pending
Indexed from repository: HAL Open Science (hal.science)
Loading document from verified source...
Keyboard Shortcuts: ← / → for pages • + / - for zoom • 0 to fit width Powered by Mozilla PDF.js v3.11

Document Information

Document Title Runtime correctness checking for emerging programming paradigms
Author / Organization Joachim Protze, Christian Terboven, Matthias Müller, Serge Petiton, Nahid Emad, Hitoshi Murai, Taisuke Boku
Subject & Discipline Multidisciplinary Academic Open Research
Categories Science & Mathematics
Publication Year 2017
License / Rights Open Access / Creative Commons
Resource Verification Listed PDF (Verification Pending)
Original Host Website HAL Open Science (hal.science)
File Format application/pdf (Portable Document Format)
Language EN
Catalog ID DOC-197723
Original Source Link Visit Source Page on hal.science »