518 @inproceedings{Haftmann-Nipkow:2010:code, |
518 @inproceedings{Haftmann-Nipkow:2010:code, |
519 author = {Florian Haftmann and Tobias Nipkow}, |
519 author = {Florian Haftmann and Tobias Nipkow}, |
520 title = {Code Generation via Higher-Order Rewrite Systems}, |
520 title = {Code Generation via Higher-Order Rewrite Systems}, |
521 booktitle = {Functional and Logic Programming: 10th International Symposium: FLOPS 2010}, |
521 booktitle = {Functional and Logic Programming: 10th International Symposium: FLOPS 2010}, |
522 year = 2010, |
522 year = 2010, |
523 publisher = {Springer}, |
523 publisher = Springer, |
524 series = {Lecture Notes in Computer Science}, |
524 series = LNCS, |
525 editor = {Matthias Blume and Naoki Kobayashi and Germ{\'a}n Vidal}, |
525 editor = {Matthias Blume and Naoki Kobayashi and Germ{\'a}n Vidal}, |
526 volume = {6009} |
526 volume = 6009 |
527 } |
527 } |
528 |
528 |
529 @InProceedings{Haftmann-Wenzel:2009, |
529 @InProceedings{Haftmann-Wenzel:2009, |
530 author = {Florian Haftmann and Makarius Wenzel}, |
530 author = {Florian Haftmann and Makarius Wenzel}, |
531 title = {Local theory specifications in {Isabelle/Isar}}, |
531 title = {Local theory specifications in {Isabelle/Isar}}, |