Library
Parser
Preprocessor
Interpreter
Compiler
An exchange format
Next Page

ELAN - The Prototyping Environment

The ELAN prototyping environment is made of several components. A library provides the user with a collection of modules that may be imported and reused in various applications. The preprocessor expands a few concise constructions allowed in the language. The parser checks the syntax of programs and verify that terms are syntactically well-formed. The interpreter is an interactive tool allowing the user to check that the results he expects are indeed obtained. The compiler transforms specifications into independent executable C code.