| |
| | [No title] |
 | | An alternative approach to unparsing might begin with a parser and attempt to derive an unparser using the program-transformation techniques known as \emph{program inversion}.\cite{gries:science,chen:inversion,von-wright:inversion}\label{corr:inversion} If successful, this attempt would produce an unparser that would be correct by construction, but it would look substantially different from the one presented here. |
 | | Appendix~\ref{parser} of this paper presents the inverse of the general unparser, i.e., a parser that handles prefix and postfix as well as infix operators, all of dynamically chosen precedence and associativity. |
 | | Otherwise, the parser's behavior depends on the fixity of [[irator]]; it may reduce [[irator]], shift it, or insert [[juxtarator]]. |
| www.eecs.harvard.edu /~nr/toolkit/working/sml/unparse.nw (9140 words) |
|