diff options
Diffstat (limited to 'paper/abs.tex')
| -rw-r--r-- | paper/abs.tex | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/paper/abs.tex b/paper/abs.tex new file mode 100644 index 0000000..f7170c8 --- /dev/null +++ b/paper/abs.tex @@ -0,0 +1,10 @@ +\begin{abstract} + As the tools provided by programming languages become more abstract and + semantically complex, it becomes necessary to have systems that can reason + about these programming languages on a high abstraction level. Functional + languages can aid interpreter and compiler designers: abstraction is trivial, + and the close link with mathematics makes it easy to prove properties about + programs. By means of a case study, an interpreter of the language + While~\citep{proganal}, the advantages of a functional language for + imperative code interpretation are shown. +\end{abstract} |