A formal definition based design of the translation phase of a CHILL compiler

Abstract

This paper describes the design of the translation phase of the CHILL compiler developed at the Dr. Neher-Laboratory of the Netherlands PTT. Special attention is paid to the role of the formal definition of CHILL in the design process.

Electronic version.