pdf-format: |
|
@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 |