publications:
- title: "Strictification of circular programs"
  author:
  - name: "João Paulo Fernandes"
    link: "http://wiki.di.uminho.pt/twiki/bin/view/Personal/Joao/"
  - name: "João Saraiva"
    link: "http://di.uminho.pt/~jas"
  - name: "Daniel Seidel"
    link: "http://wob.iai.uni-bonn.de/Wob/en/view/class217_id1454.html"
  - name: "Janis Voigtländer"
    link: "http://www.iai.uni-bonn.de/~jv/"
  year: "2011"
  doi: "http://doi.acm.org/10.1145/1929501.1929526"
  abstract: "Circular functional programs (necessarily evaluated lazily)              have been used as algorithmic tools, as attribute grammar              implementations, and as target for program transformation              techniques. Classically, Richard Bird [1984] showed how to              transform certain multitraversal programs (which could be              evaluated strictly or lazily) into one-traversal ones using              circular bindings. Can we go the other way, even for programs              that are not in the image of his technique? That is the              question we pursue in this paper. We develop an approach that              on the one hand lets us deal with typical examples              corresponding to attribute grammars, but on the other hand              also helps to derive new algorithms for problems not              previously in reach."
  links:
    doi: "http://doi.acm.org/10.1145/1929501.1929526"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/pepm/FernandesSSV11"
  tags:
  - "laziness"
  - "attribute grammars"
  - "traversal"
  - "functional programming"
  - "programming"
  - "systematic-approach"
  - "transformation"
  - "grammar"
  - "program transformation"
  researchr: "https://researchr.org/publication/FernandesSSV11"
  cites: 0
  citedby: 0
  pages: "131-140"
  booktitle: "Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2011, Austin, TX, USA, January 24-25, 2011"
  editor:
  - name: "Siau-Cheng Khoo"
    link: "https://researchr.org/alias/siau-cheng-khoo"
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  publisher: "ACM"
  isbn: "978-1-4503-0485-6"
  kind: "inproceedings"
  key: "FernandesSSV11"