Text

Programming Languages

---

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.

---

Ketersediaan

78211

005.13 SET P

Library Lantai 2

Tersedia

Informasi Detil

Judul Seri

-

No. Panggil

005.13 SET P

Penerbit

Philippines by Jemma : Addison-Wesley Publishing Company, Inc.., 1996

Deskripsi Fisik

640 hlm

Bahasa

English

ISBN/ISSN

0-201-30655-7

Klasifikasi

NONE

Tipe Isi

-

Tipe Media

-

Tipe Pembawa

-

Edisi

2

Subyek

-

Info Detil Spesifik

-

Pernyataan Tanggungjawab

-

Versi lain/terkait

Lampiran Berkas

Komentar

---

You must be logged in to post a comment