Proving correctness of compilers using structured graphs

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Patrick Bahr
Original languageEnglish
Title of host publicationFunctional and logic programming : 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings
Number of pages17
PublisherSpringer
Publication date2014
Pages221-237
Chapter14
ISBN (Print)978-3-319-07150-3
ISBN (Electronic)978-3-319-07151-0
DOIs
Publication statusPublished - 2014
EventInternational Symposium, FLOPS 2014 - Kanazawa, Japan
Duration: 4 Jun 2014 → 6 Jun 2014
Conference number: 12

Conference

ConferenceInternational Symposium, FLOPS 2014
Nummer12
LandJapan
ByKanazawa
Periode04/06/2014 → 06/06/2014
SeriesLecture notes in computer science
Volume8475
ISSN0302-9743

ID: 120135606