SML To Oz Compiler

Andreas Simon and Gerhard Schneider

Both SML and Oz are functional programming languages. SML is statically typed while Oz is dynamically typed.

This compiler translates dynamically typed SML programs to the base language of Oz 3 and is intended to be a test platform for future Oz systems.

It was developed during an advanced level practical study course (a so called ``Fortgeschrittenen Praktikum'') at Prof. Smolka's Department of Programming Systems under the supervision of Leif Tobias Kornstaedt.

• 1 Download and Installation

• 2 Usage
  • 2.1 Sample Session
  • 2.2 Emacs/XEmacs Shortcuts

• 3 Compiler Implementation
  • 3.1 Structure
  • 3.2 Lexical/Syntax Analysis
  • 3.3 Compilation
    • 3.3.1 Translation Schemes
    • 3.3.2 Compiler Internals

• 4 Differences to SML

• 5 Extending the Runtime Environment
  • 5.1 How to
  • 5.2 Tips

• 6 Abstract Syntax

• 7 Examples
  • 7.1 Self application

• 8 Bugs

• Bibliography