In this report, we will not present compiler construction techniques in usual sense. Instead, a functional specification technique is discussed. The study is focused on the dynamic semantics issue -- the code generation. The development is conducted in terms of constructive type theory using the mathematical theorem proof development system - PowerEpsilon. Three programming languages are investigated, TINY, C- and Pascal-, which are used as the sample languages for teaching compiler construction technologies. The target machine is called TM. We are not going to give the description of compiler construction in terms of a general-purpose programming language such as Pascal, C or Ada. Instead, what we provide are the abstract specification of compiler construction process and algorithm.
|78211||005.13 SET P||Library Lantai 2||Tersedia|
Tidak tersedia versi lain