Creative Commons Attribution 3.0 Unported license (CC-BY 3.0)when quoting this document, please refer to the following
DOI: 10.4230/DagRep.7.12.50
URN: urn:nbn:de:0030-drops-86763
URL: https://drops.dagstuhl.de/opus/volltexte/2018/8676/
Chen, Junjie ; Donaldson, Alastair F. ; Zeller, Andreas ; Zhang, Hongyu
Weitere Beteiligte (Hrsg. etc.): Junjie Chen and Alastair F. Donaldson and Andreas Zeller and Hongyu Zhang
Testing and Verification of Compilers (Dagstuhl Seminar 17502)
| pdf-format: |
|
Abstract
This report documents the Dagstuhl Seminar 17502 "Testing and Verification of Compilers" that took place during December 10 to 13, 2017, which we provide as a resource for researchers who are interested in understanding the state of the art and open problems in this field, and applying them to this and other areas.
BibTeX - Entry
@Article{chen_et_al:DR:2018:8676,
author = {Junjie Chen and Alastair F. Donaldson and Andreas Zeller and Hongyu Zhang},
title = {{Testing and Verification of Compilers (Dagstuhl Seminar 17502)}},
pages = {50--65},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2018},
volume = {7},
number = {12},
editor = {Junjie Chen and Alastair F. Donaldson and Andreas Zeller and Hongyu Zhang},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2018/8676},
URN = {urn:nbn:de:0030-drops-86763},
doi = {10.4230/DagRep.7.12.50},
annote = {Keywords: code generation, compiler testing, compiler verification, program analysis, program optimization}
}
| Keywords: | code generation, compiler testing, compiler verification, program analysis, program optimization | |
| Seminar: | Dagstuhl Reports, Volume 7, Issue 12 | |
| Issue date: | 2018 | |
| Date of publication: | 09.04.2018 |
