\documentclass{sig-alternate}

%include lhs2TeX.fmt
%include polycode.fmt

%let fullVersion = False
%let thesis = False

%% \usepackage{stmaryrd}
\usepackage{float}
\usepackage{graphicx}
\usepackage{pgf}
\usepackage{tikz}
\usepackage{makeidx}
\usepackage{txfonts}
%% \usepackage{mathpartir}
\usepackage{url}
\usepackage[english]{babel}
%% \usepackage{hyperref}

\usetikzlibrary{arrows,positioning}
\floatstyle{boxed}
\restylefloat{figure}
\setlength{\fboxsep}{1.4pt}

\newcommand\Thiswork[0]{This paper}
\newcommand\thiswork[0]{this paper}

%if not thesis
\newcommand\citep[1]{\cite{#1}}
\newcommand\citet[1]{\cite{#1}}
%endif

\newenvironment{smallcode}[0]{\renewcommand{\hscodestyle}{\small}}{\renewcommand{\hscodestyle}{\normalsize}}

\begin{document}
  
  \conferenceinfo{LDTA}{2011 Saarbr\"ucken, Germany}
  \CopyrightYear{2011}
  \crdata{978-1-4503-0665-2}
  
  \title{Stepwise Evaluation of Attribute Grammars}

  \numberofauthors{3}
  \author{
  % 1st. author
  \alignauthor Arie Middelkoop \\
         \affaddr{Universiteit Utrecht} \\
         \affaddr{Utrecht, The Netherlands}\\
         \email{ariem@@cs.uu.nl}
  % 2nd. author
  \alignauthor Atze Dijkstra \\
         \affaddr{Universiteit Utrecht} \\
         \affaddr{Utrecht, The Netherlands}\\
         \email{atze@@cs.uu.nl}
  % 3rd. author
  \alignauthor S. Doaitse Swierstra \\
         \affaddr{Universiteit Utrecht} \\
         \affaddr{Utrecht, The Netherlands}\\
         \email{doaitse@@cs.uu.nl}
  }

\maketitle
%% \titlenote{An extended version of this paper is available as TODO}

%include ../ariem-thesis/breadth-first-ags/stepwise.lhs

\section{Acknowledgments}
This work was supported by Microsoft Research through its European PhD Scholarship Programme.

\bibliographystyle{abbrv}

\begin{thebibliography}{10}

\bibitem{Arbab:1986:CCA:13831.13837}
B.~Arbab.
\newblock {Compiling Circular Attribute Grammars into Prolog}.
\newblock {\em IBM Journal on Research and Development}, 30:294--309, May 1986.

\bibitem{DBLP:journals/toplas/Boyland96}
J.~T. Boyland.
\newblock {Conditional Attribute Grammars}.
\newblock {\em ACM Transactions on Programming Languages and Systems},
  18(1):73--108, 1996.

\bibitem{DBLP:conf/gpce/BravenboerVVV05}
M.~Bravenboer, R.~Vermaas, J.~J. Vinju, and E.~Visser.
\newblock {Generalized Type-Based Disambiguation of Meta Programs with Concrete
  Object Syntax}.
\newblock In {\em GPCE '05}, pages 157--172, 2005.

\bibitem{uhc}
A.~Dijkstra, J.~Fokker, and S.~D. Swierstra.
\newblock {The Architecture of the Utrecht Haskell Compiler}.
\newblock In {\em Haskell Symposium}, pages 93--104, 2009.

\bibitem{DBLP:conf/afp/DijkstraS04}
A.~Dijkstra and S.~D. Swierstra.
\newblock {Typing Haskell with an Attribute Grammar}.
\newblock In {\em AFP '04}, pages 1--72, 2004.

\bibitem{chrclass}
A.~Dijkstra, G.~van~den Geest, B.~Heeren, and S.~D. Swierstra.
\newblock {Modelling Scoped Instances with Constraint Handling Rules}.
\newblock
  \url{https://subversion.cs.uu.nl/repos/project.UHC.pub/trunk/pdf/20070406-2213-icfp07-chr-locinst.pdf},
  2007.

\bibitem{DBLP:conf/icfp/ErkokL00}
L.~Erk{\"o}k and J.~Launchbury.
\newblock {Recursive Monadic Bindings}.
\newblock In {\em ICFP '00}, pages 174--185, 2000.

\bibitem{DBLP:conf/icfp/FischerKS09}
S.~Fischer, O.~Kiselyov, and C.~Shan.
\newblock {Purely Functional Lazy Non-deterministic Programming}.
\newblock In {\em ICFP '09}, pages 11--22, 2009.

\bibitem{Hinze:2000:DBM:351240.351258}
R.~Hinze.
\newblock {Deriving Backtracking Monad Transformers}.
\newblock In {\em ICFP '00}, ICFP '00, pages 186--197, 2000.

\bibitem{DBLP:conf/icfp/HughesS03}
R.~J.~M. Hughes and S.~D. Swierstra.
\newblock {Polish Parsers, Step by Step}.
\newblock In {\em ICFP '03}, pages 239--248, 2003.

\bibitem{DBLP:journals/toplas/Jones90}
L.~G. Jones.
\newblock {Efficient Evaluation of Circular Attribute Grammars}.
\newblock {\em ACM Transactions on Programming Languages and Systems},
  12(3):429--462, 1990.

\bibitem{DBLP:conf/saga/JourdanP91}
M.~Jourdan and D.~Parigot.
\newblock {Internals and Externals of the FNC-2 Attribute Grammar System}.
\newblock In {\em AGAS '91}, pages 485--504, 1991.

\bibitem{DBLP:journals/acta/Kastens80}
U.~Kastens.
\newblock {Ordered Attributed Grammars}.
\newblock {\em Acta Informatica}, 13:229--256, 1980.

\bibitem{iterattees}
O.~Kiselyov.
\newblock {Iteratee IO: safe, practical, declarative input processing}.
\newblock \url{http://okmij.org/ftp/Streams.html}, 2008.

\bibitem{DBLP:conf/icfp/KiselyovSFS05}
O.~Kiselyov, C.~Shan, D.~P. Friedman, and A.~Sabry.
\newblock {Backtracking, Interleaving, and Terminating Monad Transformers
  (functional pearl)}.
\newblock In {\em ICFP '05}, pages 192--203, 2005.

\bibitem{DBLP:journals/mst/Knuth68}
D.~E. Knuth.
\newblock {Semantics of Context-Free Languages}.
\newblock {\em Mathematical Systems Theory}, 2(2):127--145, 1968.

\bibitem{DBLP:journals/scp/MagnussonH07}
E.~Magnusson and G.~Hedin.
\newblock {Circular Reference Attributed Grammars - their Evaluation and
  Applications}.
\newblock {\em SCP '07}, 68(1):21--37, 2007.

\bibitem{DBLP:books/sp/Marlin80}
C.~D. Marlin.
\newblock {\em {Coroutines: A Programming Methodology, a Language Design and an
  Implementation}}, volume~95 of {\em LNCS}.
\newblock Springer, 1980.

\bibitem{Middelkoop10gpce}
A.~Middelkoop, A.~Dijkstra, and S.~D. Swierstra.
\newblock {Iterative Type Inference with Attribute Grammars}.
\newblock In {\em GPCE '10}, pages 43--52, 2010.

\bibitem{middelkoop10stepwise}
A.~Middelkoop, A.~Dijkstra, and S.~D. Swierstra.
\newblock {Stepwise Evaluation of Attribute Grammars (extended version)}.
\newblock \url{http://people.cs.uu.nl/ariem/stepwise.pdf}, 2010.

\bibitem{DBLP:conf/plilp/Paakki91}
J.~Paakki.
\newblock {PROFIT: A System Integrating Logic Programming and Attribute
  Grammars}.
\newblock In {\em PLILP '91}, pages 243--254, 1991.

\bibitem{Saraiva99}
J.~Saraiva and S.~D. Swierstra.
\newblock {Purely Functional Implementation of Attribute Grammars}.
\newblock Technical report, Universiteit Utrecht, 1999.

\bibitem{DBLP:conf/lernet/Swierstra08}
S.~D. Swierstra.
\newblock {Combinator Parsing: A Short Tutorial}.
\newblock In {\em {Language Engineering and Rigorous Software Development}},
  volume 5520, pages 252--300, 2009.

\bibitem{DBLP:conf/cc/BrandSVV02}
M.~van~den Brand, J.~Scheerder, J.~J. Vinju, and E.~Visser.
\newblock {Disambiguation Filters for Scannerless Generalized LR Parsers}.
\newblock In {\em CC '02}, pages 143--158, 2002.

\bibitem{DBLP:conf/pldi/VogtSK89}
H.~Vogt, S.~D. Swierstra, and M.~F. Kuiper.
\newblock {Higher-Order Attribute Grammars}.
\newblock In {\em PLDI '89}, pages 131--145, 1989.

\bibitem{Walsteijn86}
M.~J. Walsteijn and M.~F. Kuiper.
\newblock {Attribute Grammars in Prolog}.
\newblock \url{http://www.cs.uu.nl/research/techreps/repo/CS-1986/1986-14.pdf},
  1986.

\end{thebibliography}

%% \bibliography{references}

\balancecolumns

\end{document}