Proving correctness of compilers using structured graphs

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  • Patrick Bahr
OriginalsprogEngelsk
TitelFunctional and logic programming : 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings
Antal sider17
ForlagSpringer
Publikationsdato2014
Sider221-237
Kapitel14
ISBN (Trykt)978-3-319-07150-3
ISBN (Elektronisk)978-3-319-07151-0
DOI
StatusUdgivet - 2014
BegivenhedInternational Symposium, FLOPS 2014 - Kanazawa, Japan
Varighed: 4 jun. 2014 → 6 jun. 2014
Konferencens nummer: 12

Konference

KonferenceInternational Symposium, FLOPS 2014
Nummer12
LandJapan
ByKanazawa
Periode04/06/2014 → 06/06/2014
NavnLecture notes in computer science
Vol/bind8475
ISSN0302-9743

ID: 120135606