diff options
Diffstat (limited to 'examples/gfcc/complin.tex')
| -rw-r--r-- | examples/gfcc/complin.tex | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/examples/gfcc/complin.tex b/examples/gfcc/complin.tex index 3f601e8ec..5752f0714 100644 --- a/examples/gfcc/complin.tex +++ b/examples/gfcc/complin.tex @@ -1,6 +1,7 @@ \documentclass[12pt]{article} \usepackage{isolatin1} +\input{psfig.sty} \setlength{\oddsidemargin}{0mm} %\setlength{\evensidemargin}{0mm} @@ -736,10 +737,17 @@ the indexes. The theoretical ideas behind our compiler experiment are familiar from various sources. +Single-source language and compiler definitions +can be built using attribute grammars \cite{knuth-attr}. Building single-source language definitions with dependent types and higher-order abstract syntax has been studied in various logical frameworks \cite{harper-honsell,magnusson-nordstr,twelf}. +The addition of linearization rules to +type-theoretical abstract syntax is studied in +\cite{semBNF}, which also compares the method with +attribute grammars. + The idea of using a common abstract syntax for different languages was clearly exposed by Landin \cite{landin}. The view of code generation as linearization is a central aspect of @@ -1118,6 +1126,18 @@ mkJVM = unlines . reverse . fst . foldl trans ([],([],0)) . lines where \normalsize \newpage +Show Fig~\ref{demo} + +\begin{figure} +\centerline{\psfig{figure=demo2.ps}} \caption{ +GF editor session where an integer +expression is to be given. The left window shows the +abstract syntax tree, and the right window the evolving C and +JVM core. The focus is shadowed, and the possible refinements +are shown in a pop-up window. +} +\label{demo} +\end{figure} \end{document} |