EPL: Equational Programming Language Parsing and Dimension Propagation

摘要

This report gives a detailed description of parsing and dimensionality propagation for the Equational Programming Language compiler. The Equational Programming Language, called EPL, is a very high-level declarative language designed to specify parallel and real-time computations. The EPL compiler translates equational specifications into procedural, high level language (currently C). The compiler itself is written in C for UNIX based systems. Automated tools YACC and LEX has been used for lexical analysis and parsing. Detailed description is given of the design and implementation of the algorithms for building different structures (such as symbol table, equation trees, etc.). These structures are used by subsequent post-parsing analysis and code-generation phases of the EPL compiler. The description of the algorithm for dimensionality propagation is also included. (KR)