Compiler Chang Chi-Chung 2008.02.26. Textbook Compilers: Principles, Techniques, and Tools, 2/E.  Alfred V. Aho, Columbia University  Monica S. Lam,

Slides:



Advertisements
Similar presentations
Introduction to Compiler Construction
Advertisements

Compiler Construction by Muhammad Bilal Zafar (AP)
Chapter 1: Introduction to Compiling
Compiler Chang Chi-Chung Textbook Compilers: Principles, Techniques, and Tools, 2/E.  Alfred V. Aho, Columbia University  Monica S. Lam,
BİL744 Derleyici Gerçekleştirimi (Compiler Design)1.
1.3 Executing Programs. How is Computer Code Transformed into an Executable? Interpreters Compilers Hybrid systems.
Lecture 2 Phases of Compiler. Preprocessors, Compilers, Assemblers, and Linkers Preprocessor Compiler Assembler Linker Skeletal Source Program Source.
CPSC 388 – Compiler Design and Construction Lecture: MWF 11:00am-12:20pm, Room 106 Colton.
September 7, September 7, 2015September 7, 2015September 7, 2015 Azusa, CA Sheldon X. Liang Ph. D. Computer Science at Azusa Pacific University.
410/510 1 of 20 Week 1 – Lecture 1 Introduction The Textbook Assessment Programming & Tools A v. small compiler Compiler Construction.
COP4020 Programming Languages
Chapter 1. Introduction.
Chapter 1 Introduction Dr. Frank Lee. 1.1 Why Study Compiler? To write more efficient code in a high-level language To provide solid foundation in parsing.
Introduction to Compiler Construction Robert van Engelen COP5621 Compiler Construction Copyright Robert.
Compiler course 1. Introduction. Outline Scope of the course Disciplines involved in it Abstract view for a compiler Front-end and back-end tasks Modules.
CST320 - Lec 11 Why study compilers? n n Ties lots of things you know together: –Theory (finite automata, grammars) –Data structures –Modularization –Utilization.
1 COMP 3438 – Part II-Lecture 1: Overview of Compiler Design Dr. Zili Shao Department of Computing The Hong Kong Polytechnic Univ.
Compilers Chang Chi-Chung 課本 History - Grace Hooper.
Unit-1 Introduction Prepared by: Prof. Harish I Rathod
1.  10% Assignments/ class participation  10% Pop Quizzes  05% Attendance  25% Mid Term  50% Final Term 2.
1 Chapter 1 Introduction. 2 Outlines 1.1 Overview and History 1.2 What Do Compilers Do? 1.3 The Structure of a Compiler 1.4 The Syntax and Semantics of.
Compiler design Lecture 1: Compiler Overview Sulaimany University 2 Oct
Chapter 1 Introduction. Chapter 1 - Introduction 2 The Goal of Chapter 1 Introduce different forms of language translators Give a high level overview.
1. 2 Preface In the time since the 1986 edition of this book, the world of compiler design has changed significantly 3.
CS 460/660 Compiler Construction. Class 01 2 Why Study Compilers? Compilers are important – –Responsible for many aspects of system performance Compilers.
Introduction to Compilers. Related Area Programming languages Machine architecture Language theory Algorithms Data structures Operating systems Software.
Topic #1: Introduction EE 456 – Compiling Techniques Prof. Carl Sable Fall 2003.
Overview of Previous Lesson(s) Over View  A program must be translated into a form in which it can be executed by a computer.  The software systems.
1 Compiler Design (40-414)  Main Text Book: Compilers: Principles, Techniques & Tools, 2 nd ed., Aho, Lam, Sethi, and Ullman, 2007  Evaluation:  Midterm.
國立台灣大學 資訊工程學系 薛智文 98 Spring Compiler TH 234, DTH 103.
Introduction CPSC 388 Ellen Walker Hiram College.
Compiler Introduction 1 Kavita Patel. Outlines 2  1.1 What Do Compilers Do?  1.2 The Structure of a Compiler  1.3 Compilation Process  1.4 Phases.
Compilers: Prelim/0 1 Compiler Structures Objective – –to give some background on the course , Semester 1, Who I am: Andrew Davison.
What is a compiler? –A program that reads a program written in one language (source language) and translates it into an equivalent program in another language.
Dr. Mohamed Ramadan Saady 314ALL CH1.1 Chapter 1: Introduction to Compiling.
ICS312 Introduction to Compilers Set 23. What is a Compiler? A compiler is software (a program) that translates a high-level programming language to machine.
Presented by : A best website designer company. Chapter 1 Introduction Prof Chung. 1.
CS416 Compiler Design1. 2 Course Information Instructor : Dr. Ilyas Cicekli –Office: EA504, –Phone: , – Course Web.
Objective of the course Understanding the fundamentals of the compilation technique Assist you in writing you own compiler (or any part of compiler)
Compilers Design Chapter1 : Introduction, Structure of a Compiler
Chapter 1. Introduction.
Compilers Principles, Techniques, & Tools Taught by Jing Zhang
Lecture 9 Symbol Table and Attributed Grammars
Compiler principles Compiler Jakub Yaghob.
Compiler Design (40-414) Main Text Book:
Introduction Chapter : Introduction.
PRINCIPLES OF COMPILER DESIGN
Chapter 1 Introduction.
Introduction to Compiler Construction
Introduction.
Chapter 1 Introduction.
课程名 编译原理 Compiling Techniques
Chapter 1: Introduction to Compiling (Cont.)
Compiler Lecture 1 CS510.
CS416 Compiler Design lec00-outline September 19, 2018
Introduction to Compiler Construction
Course supervisor: Lubna Siddiqui
Introduction CI612 Compiler Design CI612 Compiler Design.
CPSC 388 – Compiler Design and Construction
Compiler 薛智文 TH 6 7 8, DTH Spring.
Compiler 薛智文 TH 6 7 8, DTH Spring.
Compiler Structures 0. Preliminaries
CS416 Compiler Design lec00-outline February 23, 2019
Introduction to Compiler Construction
CISC 7120X Programming Languages and Compilers
Compilers Principles, Techniques, & Tools Taught by Jing Zhang
Lec00-outline May 18, 2019 Compiler Design CS416 Compiler Design.
Introduction Chapter : Introduction.
Compiler 薛智文 M 2 3 4, DTH Spring.
Introduction to Compiler Construction
Presentation transcript:

Compiler Chang Chi-Chung

Textbook Compilers: Principles, Techniques, and Tools, 2/E.  Alfred V. Aho, Columbia University  Monica S. Lam, Stanford University  Ravi Sethi, Avaya Labs  Jeffrey D. Ullman, Stanford University Free books  Dragon

Score Midterm Examination 20% Final Examination 25% Quizz(2) 30% Project 10% Homework 10% Participation 5%

Objectives 瞭解編譯器的構建原理  Know how to use compiler construction tools, such as generators of scanners and parsers  Be able to define LL(1), LR(1), and LALR(1) grammars  Be familiar with compiler analysis and optimization techniques 建立屬於自己的編譯器

History Early 1950’s  Mnemonic assembly languages. Macro instructions were added later. In the latter half of the 1950  Fortran: scientific computation. To take 18 man-years  Cobol: business data processing.  Lisp: symbolic computation.

History - Grace Hooper

自然語言 none 高階語言 machine independent 低階語言 machine dependent Programming Languages Chinese English German 機器語言組合語言 C 、 C++ 、 Java …

Introduction to Compilers(1) Compiler Source Program Target Program Source program must be equivalent to target program. Definitions  Recognizer  Translator

Introduction to Compilers(2) Translator  from one format to another query interpreter text formatter silicon compiler infix notation  postfix notation: * 6 ====> * - pretty printers Computational theory  power of certain machines the set of languages that can be recognized by this machine  Grammar definition of this machine

Impacts on Compilers Programming languages Machine architecture Language theory Algorithms and data structures Software engineering

Use the Compiler Techniques Programming Languages (C 、 C++…) Scripts (Javascript 、 bash) Editors (syntax highlighting) Pretty printers (e.g. Doxygen) Static checkers (e.g. Lint and Splint) Interpreters Text formatters (e.g. TeX and LaTeX) Silicon compilers (e.g. VHDL) Query interpreters/compilers (Databases)

Compilers 編譯器 Compilation  Translation of a program written in a source language into a semantically equivalent program written in a target language Compiler Error messages Source Program Target Program Input Output

Interpreters 直譯器 Interpretation  Performing the operations implied by the source program Interpreter Source Program Input Output Error messages

Hybrid Virtual Machine Translator Source Program intermediate program input output

Compiler vs. Interpreter 請自己蒐集資料比較 CompilerInterpreter 翻譯次數 1More 除錯較難較易

A Language-Processing System source program Preprocessor Compiler Assembler Linker/Loader target machine code modified source program target assembly program relocatable machine code library files relocatable object files Try for example: gcc -v myprog.c

Lexical Analyzer Syntax Analyzer Semantic Analyzer Intermediate Code Generator Machine-Independent Code Optimizer Code Generator Machine-Dependent Code Optimizer character stream target-machine code token stream syntax tree intermediate representation target-machine code intermediate representation target-machine code Symbol Table Phases of a Compiler

Lexical Analyzer Syntax Analyzer Semantic Analyzer character stream position = initial + rate * 60 = + * 60 = + * inttofloat 60

Intermediate Code Generator Machine-Independent Code Optimizer Code Generator t1 = inttofloat(60) t2 = id3 * t1 t3 = id2 + t2 id1 = t3 t1 = id3 * 60.0 id1 = id2 + t1 LDF R2, id3 MULF R2, R2, #60.0 LDF R1, id2 ADDF R1, R1, R2 STF id1, R1 1position… 2initial… 3rate… SYMBOL TABLE

The Grouping of Phases Compiler front and back ends:  Front end: analysis (machine independent)  Back end: synthesis (machine dependent) Compiler passes:  A collection of phases is done only once (single pass) or multiple times (multi pass) Single pass: usually requires everything to be defined before being used in source program Multi pass: compiler may have to keep entire program representation in memory

The Analysis-Synthesis Model of Compilation There are two parts to compilation:  Analysis determines the operations implied by the source program which are recorded in a tree structure  Synthesis takes the tree structure and translates the operations therein into the target program

Compiler-Construction Tools Software development tools are available to implement one or more compiler phases  Scanner generators  Parser generators  Syntax-directed translation engines  Automatic code generators  Data-flow engines

Programming Language Basic(1) Static vs. Dynamic  Compile Time vs. Run Time  Examples scope of declarations memory location of variables Environments and States names locations (variables) values environmentstate According to the scope rules of a language

Programming Language Basic(2) Static Scope and Block Structure  C/C++ uses { }  Pascal uses begin, end Explicit Access Control  C++, C#, Java provide public, protected, private Dynamic Scope Parameter Passing Mechanisms  caller and callee  actual parameters and formal parameters.  call by value  call by reference (call by address)  call by name Aliasing

An Example program TEST; begin x=1; y=2; SUB(x,x+y); print(x); end; procedure SUB(i,j) begin i=i+1; print(x); i=i+j; print(i); end;

Results Answer  Call-by-reference 2,5,5  Call-by-value 1,5,1  Call-by-name 2,6,6  Call-by-value and copy-restore 1,5,5