Proving correctness of compilers using structured graphs
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Standard
Proving correctness of compilers using structured graphs. / Bahr, Patrick.
Functional and logic programming: 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings. Springer, 2014. p. 221-237 (Lecture notes in computer science, Vol. 8475).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
Bahr, P 2014, Proving correctness of compilers using structured graphs. in Functional and logic programming: 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings. Springer, Lecture notes in computer science, vol. 8475, pp. 221-237, International Symposium, FLOPS 2014, Kanazawa, Japan, 04/06/2014. https://doi.org/10.1007/978-3-319-07151-0_14
APA
Bahr, P. (2014). Proving correctness of compilers using structured graphs. In Functional and logic programming: 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings (pp. 221-237). Springer. Lecture notes in computer science Vol. 8475 https://doi.org/10.1007/978-3-319-07151-0_14
Vancouver
Bahr P. Proving correctness of compilers using structured graphs. In Functional and logic programming: 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings. Springer. 2014. p. 221-237. (Lecture notes in computer science, Vol. 8475). https://doi.org/10.1007/978-3-319-07151-0_14
Author
Bibtex
@inproceedings{d6ad361bb8f54ca8bf5fcb13299491c8,
title = "Proving correctness of compilers using structured graphs",
author = "Patrick Bahr",
year = "2014",
doi = "10.1007/978-3-319-07151-0_14",
language = "English",
isbn = "978-3-319-07150-3",
series = "Lecture notes in computer science",
publisher = "Springer",
pages = "221--237",
booktitle = "Functional and logic programming",
address = "Switzerland",
note = "null ; Conference date: 04-06-2014 Through 06-06-2014",
}
RIS
TY - GEN
T1 - Proving correctness of compilers using structured graphs
AU - Bahr, Patrick
N1 - Conference code: 12
PY - 2014
Y1 - 2014
U2 - 10.1007/978-3-319-07151-0_14
DO - 10.1007/978-3-319-07151-0_14
M3 - Article in proceedings
SN - 978-3-319-07150-3
T3 - Lecture notes in computer science
SP - 221
EP - 237
BT - Functional and logic programming
PB - Springer
Y2 - 4 June 2014 through 6 June 2014
ER -
ID: 120135606