Course Information

PA008 Compiler Construction

Extent and Intensity

3/0/0. 3 credit(s) (plus extra credits for completion). Recommended Type of Completion: zk (examination). Other types of completion: z (credit).
In-person direct teaching

Teacher(s)

prof. RNDr. Mojmír Křetínský, CSc. (lecturer)

Guaranteed by

prof. RNDr. Mojmír Křetínský, CSc.
Department of Computer Science – Faculty of Informatics
Contact Person: prof. RNDr. Mojmír Křetínský, CSc.
Supplier department: Department of Computer Science – Faculty of Informatics

Prerequisites

Finite automata and regular languages (see IB005); pushdown automata and context-free languages, especially the parsing methods of deterministic context-free languages (LL and LR techniques) - see IA006.

Course Enrolment Limitations

The course is also offered to the students of the fields other than those the course is directly associated with.

fields of study / plans the course is directly associated with

there are 30 fields of study the course is directly associated with, display

Course objectives

At the end of the course students should be able to understand and explain principles, methods, and techniques used in design and implementation of compilers programming languages and the related systems based on analysis of an input text and synthesis of the corresponding output. Students should be able make reasoned decisions about design of these systems. Based on acquired knowledge, students should employ principles and techniques of compiler writing and program analysis in related areas of computer science and system desing.

Learning outcomes

On successful completion of the course students will be able to:
1. Specify and analyse the lexical, syntactic and semantic structures of language features and separate the lexical, syntactic and semantic analyses into phases for a compiler.
2. Implement a scanner, parser, and semantic analyser with/without the aid of automatic SW tools.
3. Write an intermediate (IR) code generator. Turn IR code into machine code. Describe techniques for intermediate code optimisation.

Syllabus

• Tasks of compiling, phases of a compiler, compiler structure.
• The role of lexical analysis. Structure, modules and interfaces. Construction.
• Parsing. The role of parser, interfaces and imlementation.
• Attribute grammars (AG) and syntax directed translation. Description of language properties via AGs.
• Semantic analysis, its tasks and implementation. Name and scope analysis, type checking.
• Run-time enviroments, storage organization and allocation, stack and heap.
• One-pass and multi-pass compiling. Intermediate code generation
• Techniques for code generation. register allocation.
• Error recovery.
• Local optimization. Flow analyses, global optimization.
• Compiler generators, techniques and tools.

Literature

• AHO, Alfred V. Compilers : principles, techniques, & tools. 2nd ed. Boston: Pearson/Addison Wesley, 2007, xxiv, 1009. ISBN 0321486811. info
• AHO, Alfred V., Ravi SETHI and Jeffrey D. ULLMAN. Compilers, principles, techniques, and tools. Reading: Addison-Wesley Publishing Company, 1987, x, 796 s. ISBN 0-201-10088-6. info
• APPEL, Andrew W. Modern compiler implementation in Java. Cambridge: Cambridge University Press, 1998, x, 548. ISBN 0521583888. info
• COOPER, Keith D. a Linda TORCZON. Engineering a compiler. Second Edition.San Francisco: Morgan Kaufmann Publishers, 2012. ISBN 978-0-12-088478-0
• COOPER, Keith D. and Linda TORCZON. Engineering a compiler. San Francisco: Morgan Kaufmann Publishers, 2004, xxx, 801. ISBN 155860698X. info
• GRUNE, Dick. Modern compiler design. Chichester: John Wiley & Sons, 2000, xviii, 736. ISBN 0471976970. info

Teaching methods

Lectures, homeworks, home reading, class discussion

Assessment methods

written final exam without any reading materials (closed book).

Language of instruction

Czech

Follow-Up Courses

• PA037 Compiler Project

Further Comments

The course is taught annually.
The course is taught: every week.

Teacher's information

http://www.fi.muni.cz/usr/kretinsky/

PA008 Compiler Construction

Extent and Intensity

3/0/0. 3 credit(s) (plus extra credits for completion). Recommended Type of Completion: zk (examination). Other types of completion: z (credit).

Teacher(s)

prof. RNDr. Mojmír Křetínský, CSc. (lecturer)

Guaranteed by

prof. RNDr. Mojmír Křetínský, CSc.
Department of Computer Science – Faculty of Informatics
Contact Person: prof. RNDr. Mojmír Křetínský, CSc.
Supplier department: Department of Computer Science – Faculty of Informatics

Timetable

Wed 10:00–12:50 B411

Prerequisites

Finite automata and regular languages (see IB005); pushdown automata and context-free languages, especially the parsing methods of deterministic context-free languages (LL and LR techniques) - see IA006.

Course Enrolment Limitations

The course is also offered to the students of the fields other than those the course is directly associated with.

fields of study / plans the course is directly associated with

there are 53 fields of study the course is directly associated with, display

Course objectives

At the end of the course students should be able to understand and explain principles, methods, and techniques used in design and implementation of compilers programming languages and the related systems based on analysis of an input text and synthesis of the corresponding output. Students should be able make reasoned decisions about design of these systems. Based on acquired knowledge, students should employ principles and techniques of compiler writing and program analysis in related areas of computer science and system desing.

Learning outcomes

On successful completion of the course students will be able to:
1. Specify and analyse the lexical, syntactic and semantic structures of language features and separate the lexical, syntactic and semantic analyses into phases for a compiler.
2. Implement a scanner, parser, and semantic analyser with/without the aid of automatic SW tools.
3. Write an intermediate (IR) code generator. Turn IR code into machine code. Describe techniques for intermediate code optimisation.

Syllabus

• Tasks of compiling, phases of a compiler, compiler structure.
• The role of lexical analysis. Structure, modules and interfaces. Construction.
• Parsing. The role of parser, interfaces and imlementation.
• Attribute grammars (AG) and syntax directed translation. Description of language properties via AGs.
• Semantic analysis, its tasks and implementation. Name and scope analysis, type checking.
• Run-time enviroments, storage organization and allocation, stack and heap.
• One-pass and multi-pass compiling. Intermediate code generation
• Techniques for code generation. register allocation.
• Error recovery.
• Local optimization. Flow analyses, global optimization.
• Compiler generators, techniques and tools.

Literature

• AHO, Alfred V. Compilers : principles, techniques, & tools. 2nd ed. Boston: Pearson/Addison Wesley, 2007, xxiv, 1009. ISBN 0321486811. info
• AHO, Alfred V., Ravi SETHI and Jeffrey D. ULLMAN. Compilers, principles, techniques, and tools. Reading: Addison-Wesley Publishing Company, 1987, x, 796 s. ISBN 0-201-10088-6. info
• APPEL, Andrew W. Modern compiler implementation in Java. Cambridge: Cambridge University Press, 1998, x, 548. ISBN 0521583888. info
• COOPER, Keith D. a Linda TORCZON. Engineering a compiler. Second Edition.San Francisco: Morgan Kaufmann Publishers, 2012. ISBN 978-0-12-088478-0
• COOPER, Keith D. and Linda TORCZON. Engineering a compiler. San Francisco: Morgan Kaufmann Publishers, 2004, xxx, 801. ISBN 155860698X. info
• GRUNE, Dick. Modern compiler design. Chichester: John Wiley & Sons, 2000, xviii, 736. ISBN 0471976970. info

Teaching methods

Lectures, homeworks, home reading, class discussion

Assessment methods

written final exam without any reading materials (closed book).

Language of instruction

Czech

Follow-Up Courses

• PA037 Compiler Project

Further Comments

Study Materials
The course is taught annually.

Teacher's information

http://www.fi.muni.cz/usr/kretinsky/

PA008 Compiler Construction

Extent and Intensity

3/0/0. 3 credit(s) (plus extra credits for completion). Recommended Type of Completion: zk (examination). Other types of completion: z (credit).

Teacher(s)

prof. RNDr. Mojmír Křetínský, CSc. (lecturer)
Mgr. Libor Caha, PhD. (assistant)

Guaranteed by

prof. RNDr. Mojmír Křetínský, CSc.
Department of Computer Science – Faculty of Informatics
Contact Person: prof. RNDr. Mojmír Křetínský, CSc.
Supplier department: Department of Computer Science – Faculty of Informatics

Timetable

Thu 10:00–12:50 B411

Prerequisites

Finite automata and regular languages (see IB005); pushdown automata and context-free languages, especially the parsing methods of deterministic context-free languages (LL and LR techniques) - see IA006.

Course Enrolment Limitations

The course is also offered to the students of the fields other than those the course is directly associated with.

fields of study / plans the course is directly associated with

there are 53 fields of study the course is directly associated with, display

Course objectives

At the end of the course students should be able to understand and explain principles, methods, and techniques used in design and implementation of compilers programming languages and the related systems based on analysis of an input text and synthesis of the corresponding output. Students should be able make reasoned decisions about design of these systems. Based on acquired knowledge, students should employ principles and techniques of compiler writing and program analysis in related areas of computer science and system desing.

Learning outcomes

On successful completion of the course students will be able to:
1. Specify and analyse the lexical, syntactic and semantic structures of language features and separate the lexical, syntactic and semantic analyses into phases for a compiler.
2. Implement a scanner, parser, and semantic analyser with/without the aid of automatic SW tools.
3. Write an intermediate (IR) code generator. Turn IR code into machine code. Describe techniques for intermediate code optimisation.

Syllabus

• Tasks of compiling, phases of a compiler, compiler structure.
• The role of lexical analysis. Structure, modules and interfaces. Construction.
• Parsing. The role of parser, interfaces and imlementation.
• Attribute grammars (AG) and syntax directed translation. Description of language properties via AGs.
• Semantic analysis, its tasks and implementation. Name and scope analysis, type checking.
• Run-time enviroments, storage organization and allocation, stack and heap.
• One-pass and multi-pass compiling. Intermediate code generation
• Techniques for code generation. register allocation.
• Error recovery.
• Local optimization. Flow analyses, global optimization.
• Compiler generators, techniques and tools.

Literature

• AHO, Alfred V. Compilers : principles, techniques, & tools. 2nd ed. Boston: Pearson/Addison Wesley, 2007, xxiv, 1009. ISBN 0321486811. info
• AHO, Alfred V., Ravi SETHI and Jeffrey D. ULLMAN. Compilers, principles, techniques, and tools. Reading: Addison-Wesley Publishing Company, 1987, x, 796 s. ISBN 0-201-10088-6. info
• APPEL, Andrew W. Modern compiler implementation in Java. Cambridge: Cambridge University Press, 1998, x, 548. ISBN 0521583888. info
• COOPER, Keith D. a Linda TORCZON. Engineering a compiler. Second Edition.San Francisco: Morgan Kaufmann Publishers, 2012. ISBN 978-0-12-088478-0
• COOPER, Keith D. and Linda TORCZON. Engineering a compiler. San Francisco: Morgan Kaufmann Publishers, 2004, xxx, 801. ISBN 155860698X. info
• GRUNE, Dick. Modern compiler design. Chichester: John Wiley & Sons, 2000, xviii, 736. ISBN 0471976970. info

Teaching methods

Lectures, homeworks, home reading, class discussion

Assessment methods

written final exam without any reading materials (closed book).

Language of instruction

Czech

Follow-Up Courses

• PA037 Compiler Project

Further Comments

Study Materials
The course is taught annually.

Teacher's information

http://www.fi.muni.cz/usr/kretinsky/

PA008 Compiler Construction

Extent and Intensity

3/0/0. 3 credit(s) (plus extra credits for completion). Recommended Type of Completion: zk (examination). Other types of completion: z (credit).

Teacher(s)

prof. RNDr. Mojmír Křetínský, CSc. (lecturer)
Mgr. Libor Caha, PhD. (assistant)

Guaranteed by

prof. RNDr. Mojmír Křetínský, CSc.
Department of Computer Science – Faculty of Informatics
Contact Person: prof. RNDr. Mojmír Křetínský, CSc.
Supplier department: Department of Computer Science – Faculty of Informatics

Timetable

Thu 16. 9. to Thu 9. 12. Thu 10:00–12:50 B411

Prerequisites

Finite automata and regular languages (see IB005); pushdown automata and context-free languages, especially the parsing methods of deterministic context-free languages (LL and LR techniques) - see IA006.

Course Enrolment Limitations

The course is also offered to the students of the fields other than those the course is directly associated with.

fields of study / plans the course is directly associated with

there are 52 fields of study the course is directly associated with, display

Course objectives

At the end of the course students should be able to understand and explain principles, methods, and techniques used in design and implementation of compilers programming languages and the related systems based on analysis of an input text and synthesis of the corresponding output. Students should be able make reasoned decisions about design of these systems. Based on acquired knowledge, students should employ principles and techniques of compiler writing and program analysis in related areas of computer science and system desing.

Learning outcomes

On successful completion of the course students will be able to:
1. Specify and analyse the lexical, syntactic and semantic structures of language features and separate the lexical, syntactic and semantic analyses into phases for a compiler.
2. Implement a scanner, parser, and semantic analyser with/without the aid of automatic SW tools.
3. Write an intermediate (IR) code generator. Turn IR code into machine code. Describe techniques for intermediate code optimisation.

Syllabus

• Tasks of compiling, phases of a compiler, compiler structure.
• The role of lexical analysis. Structure, modules and interfaces. Construction.
• Parsing. The role of parser, interfaces and imlementation.
• Attribute grammars (AG) and syntax directed translation. Description of language properties via AGs.
• Semantic analysis, its tasks and implementation. Name and scope analysis, type checking.
• Run-time enviroments, storage organization and allocation, stack and heap.
• One-pass and multi-pass compiling. Intermediate code generation
• Techniques for code generation. register allocation.
• Error recovery.
• Local optimization. Flow analyses, global optimization.
• Compiler generators, techniques and tools.

Literature

• AHO, Alfred V. Compilers : principles, techniques, & tools. 2nd ed. Boston: Pearson/Addison Wesley, 2007, xxiv, 1009. ISBN 0321486811. info
• AHO, Alfred V., Ravi SETHI and Jeffrey D. ULLMAN. Compilers, principles, techniques, and tools. Reading: Addison-Wesley Publishing Company, 1987, x, 796 s. ISBN 0-201-10088-6. info
• APPEL, Andrew W. Modern compiler implementation in Java. Cambridge: Cambridge University Press, 1998, x, 548. ISBN 0521583888. info
• COOPER, Keith D. a Linda TORCZON. Engineering a compiler. Second Edition.San Francisco: Morgan Kaufmann Publishers, 2012. ISBN 978-0-12-088478-0
• COOPER, Keith D. and Linda TORCZON. Engineering a compiler. San Francisco: Morgan Kaufmann Publishers, 2004, xxx, 801. ISBN 155860698X. info
• GRUNE, Dick. Modern compiler design. Chichester: John Wiley & Sons, 2000, xviii, 736. ISBN 0471976970. info

Teaching methods

Lectures, homeworks, home reading, class discussion

Assessment methods

written final exam without any reading materials (closed book).

Language of instruction

Czech

Follow-Up Courses

• PA037 Compiler Project

Further Comments

Study Materials
The course is taught annually.

Teacher's information

http://www.fi.muni.cz/usr/kretinsky/

PA008 Compiler Construction

Extent and Intensity

3/0/0. 3 credit(s) (plus extra credits for completion). Recommended Type of Completion: zk (examination). Other types of completion: z (credit).

Teacher(s)

prof. RNDr. Mojmír Křetínský, CSc. (lecturer)
Mgr. Libor Caha, PhD. (assistant)

Guaranteed by

prof. RNDr. Mojmír Křetínský, CSc.
Department of Computer Science – Faculty of Informatics
Contact Person: prof. RNDr. Mojmír Křetínský, CSc.
Supplier department: Department of Computer Science – Faculty of Informatics

Timetable

Thu 10:00–12:50 D3

Prerequisites

Finite automata and regular languages (see IB005); pushdown automata and context-free languages, especially the parsing methods of deterministic context-free languages (LL and LR techniques) - see IA006.

Course Enrolment Limitations

The course is also offered to the students of the fields other than those the course is directly associated with.

fields of study / plans the course is directly associated with

there are 52 fields of study the course is directly associated with, display

Course objectives

At the end of the course students should be able to understand and explain principles, methods, and techniques used in design and implementation of compilers programming languages and the related systems based on analysis of an input text and synthesis of the corresponding output. Students should be able make reasoned decisions about design of these systems. Based on acquired knowledge, students should employ principles and techniques of compiler writing and program analysis in related areas of computer science and system desing.

Learning outcomes

On successful completion of the course students will be able to:
1. Specify and analyse the lexical, syntactic and semantic structures of language features and separate the lexical, syntactic and semantic analyses into phases for a compiler.
2. Implement a scanner, parser, and semantic analyser with/without the aid of automatic SW tools.
3. Write an intermediate (IR) code generator. Turn IR code into machine code. Describe techniques for intermediate code optimisation.

Syllabus

• Tasks of compiling, phases of a compiler, compiler structure.
• The role of lexical analysis. Structure, modules and interfaces. Construction.
• Parsing. The role of parser, interfaces and imlementation.
• Attribute grammars (AG) and syntax directed translation. Description of language properties via AGs.
• Semantic analysis, its tasks and implementation. Name and scope analysis, type checking.
• Run-time enviroments, storage organization and allocation, stack and heap.
• One-pass and multi-pass compiling. Intermediate code generation
• Techniques for code generation. register allocation.
• Error recovery.
• Local optimization. Flow analyses, global optimization.
• Compiler generators, techniques and tools.

Literature

• AHO, Alfred V. Compilers : principles, techniques, & tools. 2nd ed. Boston: Pearson/Addison Wesley, 2007, xxiv, 1009. ISBN 0321486811. info
• AHO, Alfred V., Ravi SETHI and Jeffrey D. ULLMAN. Compilers, principles, techniques, and tools. Reading: Addison-Wesley Publishing Company, 1987, x, 796 s. ISBN 0-201-10088-6. info
• APPEL, Andrew W. Modern compiler implementation in Java. Cambridge: Cambridge University Press, 1998, x, 548. ISBN 0521583888. info
• COOPER, Keith D. a Linda TORCZON. Engineering a compiler. Second Edition.San Francisco: Morgan Kaufmann Publishers, 2012. ISBN 978-0-12-088478-0
• COOPER, Keith D. and Linda TORCZON. Engineering a compiler. San Francisco: Morgan Kaufmann Publishers, 2004, xxx, 801. ISBN 155860698X. info
• GRUNE, Dick. Modern compiler design. Chichester: John Wiley & Sons, 2000, xviii, 736. ISBN 0471976970. info

Teaching methods

Lectures, homeworks, home reading, class discussion

Assessment methods

written final exam without any reading materials (closed book).

Language of instruction

Czech

Follow-Up Courses

• PA037 Compiler Project

Further Comments

Study Materials
The course is taught annually.

Teacher's information

http://www.fi.muni.cz/usr/kretinsky/

PA008 Compiler Construction

Extent and Intensity

3/0. 3 credit(s) (plus extra credits for completion). Recommended Type of Completion: zk (examination). Other types of completion: z (credit).

Teacher(s)

prof. RNDr. Mojmír Křetínský, CSc. (lecturer)

Guaranteed by

prof. RNDr. Mojmír Křetínský, CSc.
Department of Computer Science – Faculty of Informatics
Contact Person: prof. RNDr. Mojmír Křetínský, CSc.
Supplier department: Department of Computer Science – Faculty of Informatics

Timetable

Thu 10:00–12:50 B411

Prerequisites

Finite automata and regular languages (see IB005); pushdown automata and context-free languages, especially the parsing methods of deterministic context-free languages (LL and LR techniques) - see IA006.

Course Enrolment Limitations

The course is also offered to the students of the fields other than those the course is directly associated with.

fields of study / plans the course is directly associated with

there are 52 fields of study the course is directly associated with, display

Course objectives

At the end of the course students should be able to understand and explain principles, methods, and techniques used in design and implementation of compilers programming languages and the related systems based on analysis of an input text and synthesis of the corresponding output. Students should be able make reasoned decisions about design of these systems. Based on acquired knowledge, students should employ principles and techniques of compiler writing and program analysis in related areas of computer science and system desing.

Learning outcomes

On successful completion of the course students will be able to:
1. Specify and analyse the lexical, syntactic and semantic structures of language features and separate the lexical, syntactic and semantic analyses into phases for a compiler.
2. Implement a scanner, parser, and semantic analyser with/without the aid of automatic SW tools.
3. Write an intermediate (IR) code generator. Turn IR code into machine code. Describe techniques for intermediate code optimisation.

Syllabus

• Tasks of compiling, phases of a compiler, compiler structure.
• The role of lexical analysis. Structure, modules and interfaces. Construction.
• Parsing. The role of parser, interfaces and imlementation.
• Attribute grammars (AG) and syntax directed translation. Description of language properties via AGs.
• Semantic analysis, its tasks and implementation. Name and scope analysis, type checking.
• Run-time enviroments, storage organization and allocation, stack and heap.
• One-pass and multi-pass compiling. Intermediate code generation
• Techniques for code generation. register allocation.
• Error recovery.
• Local optimization. Flow analyses, global optimization.
• Compiler generators, techniques and tools.

Literature

• AHO, Alfred V., Ravi SETHI and Jeffrey D. ULLMAN. Compilers, principles, techniques, and tools. Reading: Addison-Wesley Publishing Company, 1987, x, 796 s. ISBN 0-201-10088-6. info
• APPEL, Andrew W. Modern compiler implementation in Java. Cambridge: Cambridge University Press, 1998, x, 548. ISBN 0521583888. info
• COOPER, Keith D. a Linda TORCZON. Engineering a compiler. Second Edition.San Francisco: Morgan Kaufmann Publishers, 2012. ISBN 978-0-12-088478-0
• COOPER, Keith D. and Linda TORCZON. Engineering a compiler. San Francisco: Morgan Kaufmann Publishers, 2004, xxx, 801. ISBN 155860698X. info
• GRUNE, Dick. Modern compiler design. Chichester: John Wiley & Sons, 2000, xviii, 736. ISBN 0471976970. info
• WILHELM, Reinhard and Dieter MAURER. Compiler design. Wokingham: Addison-Wesley Publishing Company, 1995, xv, 606 s. ISBN 0-201-42290-5. info

Teaching methods

Lectures, homeworks, home reading, class discussion

Assessment methods

written final exam without any reading materials (closed book).

Language of instruction

Czech

Follow-Up Courses

• PA037 Compiler Project

Further Comments

The course is taught annually.

Teacher's information

http://www.fi.muni.cz/usr/kretinsky/

PA008 Compiler Construction

Extent and Intensity

3/0. 3 credit(s) (plus extra credits for completion). Recommended Type of Completion: zk (examination). Other types of completion: z (credit).

Teacher(s)

prof. RNDr. Mojmír Křetínský, CSc. (lecturer)

Guaranteed by

prof. RNDr. Mojmír Křetínský, CSc.
Department of Computer Science – Faculty of Informatics
Contact Person: prof. RNDr. Mojmír Křetínský, CSc.
Supplier department: Department of Computer Science – Faculty of Informatics

Timetable

Thu 9:00–11:50 B411

Prerequisites

Finite automata and regular languages (see IB005); pushdown automata and context-free languages, especially the parsing methods of deterministic context-free languages (LL and LR techniques) - see IA006.

Course Enrolment Limitations

The course is also offered to the students of the fields other than those the course is directly associated with.

fields of study / plans the course is directly associated with

there are 23 fields of study the course is directly associated with, display

Course objectives

At the end of the course students should be able to understand and explain principles, methods, and techniques used in design and implementation of compilers programming languages and the related systems based on analysis of an input text and synthesis of the corresponding output. Students should be able make reasoned decisions about design of these systems. Based on acquired knowledge, students should employ principles and techniques of compiler writing and program analysis in related areas of computer science and system desing.

Learning outcomes

On successful completion of the course students will be able to:
1. Specify and analyse the lexical, syntactic and semantic structures of language features and separate the lexical, syntactic and semantic analyses into phases for a compiler.
2. Implement a scanner, parser, and semantic analyser with/without the aid of automatic SW tools.
3. Write an intermediate (IR) code generator. Turn IR code into machine code. Describe techniques for intermediate code optimisation.

Syllabus

• Tasks of compiling, phases of a compiler, compiler structure.
• The role of lexical analysis. Structure, modules and interfaces. Construction.
• Parsing. The role of parser, interfaces and imlementation.
• Attribute grammars (AG) and syntax directed translation. Description of language properties via AGs.
• Semantic analysis, its tasks and implementation. Name and scope analysis, type checking.
• Run-time enviroments, storage organization and allocation, stack and heap.
• One-pass and multi-pass compiling. Intermediate code generation
• Techniques for code generation. register allocation.
• Error recovery.
• Local optimization. Flow analyses, global optimization.
• Compiler generators, techniques and tools.

Literature

• AHO, Alfred V., Ravi SETHI and Jeffrey D. ULLMAN. Compilers, principles, techniques, and tools. Reading: Addison-Wesley Publishing Company, 1987, x, 796 s. ISBN 0-201-10088-6. info
• APPEL, Andrew W. Modern compiler implementation in Java. Cambridge: Cambridge University Press, 1998, x, 548. ISBN 0521583888. info
• COOPER, Keith D. a Linda TORCZON. Engineering a compiler. Second Edition.San Francisco: Morgan Kaufmann Publishers, 2012. ISBN 978-0-12-088478-0
• COOPER, Keith D. and Linda TORCZON. Engineering a compiler. San Francisco: Morgan Kaufmann Publishers, 2004, xxx, 801. ISBN 155860698X. info
• GRUNE, Dick. Modern compiler design. Chichester: John Wiley & Sons, 2000, xviii, 736. ISBN 0471976970. info
• WILHELM, Reinhard and Dieter MAURER. Compiler design. Wokingham: Addison-Wesley Publishing Company, 1995, xv, 606 s. ISBN 0-201-42290-5. info

Teaching methods

Lectures, homeworks, home reading, class discussion

Assessment methods

written final exam without any reading materials (closed book).

Language of instruction

Czech

Follow-Up Courses

• PA037 Compiler Project

Further Comments

The course is taught annually.

Teacher's information

http://www.fi.muni.cz/usr/kretinsky/

PA008 Compiler Construction

Extent and Intensity

3/0. 3 credit(s) (plus extra credits for completion). Recommended Type of Completion: zk (examination). Other types of completion: z (credit).

Teacher(s)

prof. RNDr. Mojmír Křetínský, CSc. (lecturer)

Guaranteed by

prof. RNDr. Mojmír Křetínský, CSc.
Department of Computer Science – Faculty of Informatics
Contact Person: prof. RNDr. Mojmír Křetínský, CSc.
Supplier department: Department of Computer Science – Faculty of Informatics

Timetable

Thu 10:00–12:50 B410

Prerequisites

Finite automata and regular languages (see IB005); pushdown automata and context-free languages, especially the parsing methods of deterministic context-free languages (LL and LR techniques) - see IA006.

Course Enrolment Limitations

The course is also offered to the students of the fields other than those the course is directly associated with.

fields of study / plans the course is directly associated with

there are 23 fields of study the course is directly associated with, display

Course objectives

At the end of the course students should be able to understand and explain principles, methods, and techniques used in design and implementation of compilers programming languages and the related systems based on analysis of an input text and synthesis of the corresponding output. Students should be able make reasoned decisions about design of these systems. Based on acquired knowledge, students should employ principles and techniques of compiler writing and program analysis in related areas of computer science and system desing.

Learning outcomes

On successful completion of the course students will be able to:
1. Specify and analyse the lexical, syntactic and semantic structures of language features and separate the lexical, syntactic and semantic analyses into phases for a compiler.
2. Implement a scanner, parser, and semantic analyser with/without the aid of automatic SW tools.
3. Write an intermediate (IR) code generator. Turn IR code into machine code. Describe techniques for intermediate code optimisation.

Syllabus

• Tasks of compiling, phases of a compiler, compiler structure.
• The role of lexical analysis. Structure, modules and interfaces. Construction.
• Parsing. The role of parser, interfaces and imlementation.
• Attribute grammars (AG) and syntax directed translation. Description of language properties via AGs.
• Semantic analysis, its tasks and implementation. Name and scope analysis, type checking.
• Run-time enviroments, storage organization and allocation, stack and heap.
• One-pass and multi-pass compiling. Intermediate code generation
• Techniques for code generation. register allocation.
• Error recovery.
• Local optimization. Flow analyses, global optimization.
• Compiler generators, techniques and tools.

Literature

• AHO, Alfred V., Ravi SETHI and Jeffrey D. ULLMAN. Compilers, principles, techniques, and tools. Reading: Addison-Wesley Publishing Company, 1987, x, 796 s. ISBN 0-201-10088-6. info
• APPEL, Andrew W. Modern compiler implementation in Java. Cambridge: Cambridge University Press, 1998, x, 548. ISBN 0521583888. info
• COOPER, Keith D. a Linda TORCZON. Engineering a compiler. Second Edition.San Francisco: Morgan Kaufmann Publishers, 2012. ISBN 978-0-12-088478-0
• COOPER, Keith D. and Linda TORCZON. Engineering a compiler. San Francisco: Morgan Kaufmann Publishers, 2004, xxx, 801. ISBN 155860698X. info
• GRUNE, Dick. Modern compiler design. Chichester: John Wiley & Sons, 2000, xviii, 736. ISBN 0471976970. info
• WILHELM, Reinhard and Dieter MAURER. Compiler design. Wokingham: Addison-Wesley Publishing Company, 1995, xv, 606 s. ISBN 0-201-42290-5. info

Teaching methods

Lectures, homeworks, home reading, class discussion

Assessment methods

written final exam without any reading materials (closed book).

Language of instruction

Czech

Follow-Up Courses

• PA037 Compiler Project

Further Comments

The course is taught annually.

Teacher's information

http://www.fi.muni.cz/usr/kretinsky/

PA008 Compiler Construction

Extent and Intensity

3/0. 3 credit(s) (plus extra credits for completion). Recommended Type of Completion: zk (examination). Other types of completion: z (credit).

Teacher(s)

prof. RNDr. Mojmír Křetínský, CSc. (lecturer)

Guaranteed by

prof. RNDr. Mojmír Křetínský, CSc.
Department of Computer Science – Faculty of Informatics
Contact Person: prof. RNDr. Mojmír Křetínský, CSc.
Supplier department: Department of Computer Science – Faculty of Informatics

Timetable

Wed 16:00–18:50 B410

Prerequisites

Finite automata and regular languages (see IB005); pushdown automata and context-free languages, especially the parsing methods of deterministic context-free languages (LL and LR techniques) - see IA006.

Course Enrolment Limitations

The course is also offered to the students of the fields other than those the course is directly associated with.

fields of study / plans the course is directly associated with

there are 23 fields of study the course is directly associated with, display

Course objectives

At the end of the course students should be able to understand and explain principles, methods, and techniques used in design and implementation of compilers programming languages and the related systems based on analysis of an input text and synthesis of the corresponding output. Students should be able make reasoned decisions about design of these systems. Based on acquired knowledge, students should employ principles and techniques of compiler writing and program analysis in related areas of computer science and system desing.

Syllabus

• Tasks of compiling, phases of a compiler, compiler structure.
• The role of lexical analysis. Structure, modules and interfaces. Construction.
• Parsing. The role of parser, interfaces and imlementation.
• Attribute grammars (AG) and syntax directed translation. Description of language properties via AGs.
• Semantic analysis, its tasks and implementation. Name and scope analysis, type checking.
• Run-time enviroments, storage organization and allocation, stack and heap.
• One-pass and multi-pass compiling. Intermediate code generation
• Techniques for code generation. register allocation.
• Error recovery.
• Local optimization. Flow analyses, global optimization.
• Compiler generators, techniques and tools.

Literature

• AHO, Alfred V., Ravi SETHI and Jeffrey D. ULLMAN. Compilers, principles, techniques, and tools. Reading: Addison-Wesley Publishing Company, 1987, x, 796 s. ISBN 0-201-10088-6. info
• APPEL, Andrew W. Modern compiler implementation in Java. Cambridge: Cambridge University Press, 1998, x, 548. ISBN 0521583888. info
• COOPER, Keith D. a Linda TORCZON. Engineering a compiler. Second Edition.San Francisco: Morgan Kaufmann Publishers, 2012. ISBN 978-0-12-088478-0
• COOPER, Keith D. and Linda TORCZON. Engineering a compiler. San Francisco: Morgan Kaufmann Publishers, 2004, xxx, 801. ISBN 155860698X. info
• GRUNE, Dick. Modern compiler design. Chichester: John Wiley & Sons, 2000, xviii, 736. ISBN 0471976970. info
• WILHELM, Reinhard and Dieter MAURER. Compiler design. Wokingham: Addison-Wesley Publishing Company, 1995, xv, 606 s. ISBN 0-201-42290-5. info

Teaching methods

Lectures, homeworks, home reading, class discussion

Assessment methods

written final exam without any reading materials (closed book).

Language of instruction

Czech

Follow-Up Courses

• PA037 Compiler Project

Further Comments

The course is taught annually.

Teacher's information

http://www.fi.muni.cz/usr/kretinsky/

PA008 Compiler Construction

Extent and Intensity

3/0. 3 credit(s) (plus extra credits for completion). Recommended Type of Completion: zk (examination). Other types of completion: z (credit).

Teacher(s)

prof. RNDr. Mojmír Křetínský, CSc. (lecturer)

Guaranteed by

prof. RNDr. Mojmír Křetínský, CSc.
Department of Computer Science – Faculty of Informatics
Contact Person: prof. RNDr. Mojmír Křetínský, CSc.
Supplier department: Department of Computer Science – Faculty of Informatics

Timetable

Wed 14:00–16:50 B410

Prerequisites

Finite automata and regular languages (see IB005); pushdown automata and context-free languages, especially the parsing methods of deterministic context-free languages (LL and LR techniques) - see IA006.

Course Enrolment Limitations

The course is also offered to the students of the fields other than those the course is directly associated with.

fields of study / plans the course is directly associated with

there are 23 fields of study the course is directly associated with, display

Course objectives

At the end of the course students should be able to understand and explain principles, methods, and techniques used in design and implementation of compilers programming languages and the related systems based on analysis of an input text and synthesis of the corresponding output. Students should be able make reasoned decisions about design of these systems. Based on acquired knowledge, students should employ principles and techniques of compiler writing and program analysis in related areas of computer science and system desing.

Syllabus

• Tasks of compiling, phases of a compiler, compiler structure.
• The role of lexical analysis. Structure, modules and interfaces. Construction.
• Parsing. The role of parser, interfaces and imlementation.
• Attribute grammars (AG) and syntax directed translation. Description of language properties via AGs.
• Semantic analysis, its tasks and implementation. Name and scope analysis, type checking.
• Run-time enviroments, storage organization and allocation, stack and heap.
• One-pass and multi-pass compiling. Intermediate code generation
• Techniques for code generation. register allocation.
• Error recovery.
• Local optimization. Flow analyses, global optimization.
• Compiler generators, techniques and tools.

Literature

• AHO, Alfred V., Ravi SETHI and Jeffrey D. ULLMAN. Compilers, principles, techniques, and tools. Reading: Addison-Wesley Publishing Company, 1987, x, 796 s. ISBN 0-201-10088-6. info
• APPEL, Andrew W. Modern compiler implementation in Java. Cambridge: Cambridge University Press, 1998, x, 548. ISBN 0521583888. info
• COOPER, Keith D. a Linda TORCZON. Engineering a compiler. Second Edition.San Francisco: Morgan Kaufmann Publishers, 2012. ISBN 978-0-12-088478-0
• COOPER, Keith D. and Linda TORCZON. Engineering a compiler. San Francisco: Morgan Kaufmann Publishers, 2004, xxx, 801. ISBN 155860698X. info
• GRUNE, Dick. Modern compiler design. Chichester: John Wiley & Sons, 2000, xviii, 736. ISBN 0471976970. info
• WILHELM, Reinhard and Dieter MAURER. Compiler design. Wokingham: Addison-Wesley Publishing Company, 1995, xv, 606 s. ISBN 0-201-42290-5. info

Teaching methods

Lectures, homeworks, home reading, class discussion

Assessment methods

written final exam without any reading materials (closed book).

Language of instruction

Czech

Follow-Up Courses

• PA037 Compiler Project

Further Comments

The course is taught annually.

Teacher's information

http://www.fi.muni.cz/usr/kretinsky/

PA008 Compiler Construction

Extent and Intensity

3/0. 3 credit(s) (plus extra credits for completion). Recommended Type of Completion: zk (examination). Other types of completion: z (credit).

Teacher(s)

prof. RNDr. Mojmír Křetínský, CSc. (lecturer)

Guaranteed by

prof. RNDr. Mojmír Křetínský, CSc.
Department of Computer Science – Faculty of Informatics
Contact Person: prof. RNDr. Mojmír Křetínský, CSc.
Supplier department: Department of Computer Science – Faculty of Informatics

Timetable

Wed 10:00–12:50 A319

Prerequisites

Finite automata and regular languages (see IB005); pushdown automata and context-free languages, especially the parsing methods of deterministic context-free languages (LL and LR techniques) - see IA006.

Course Enrolment Limitations

The course is also offered to the students of the fields other than those the course is directly associated with.

fields of study / plans the course is directly associated with

there are 22 fields of study the course is directly associated with, display

Course objectives

At the end of the course students should be able to understand and explain principles, methods, and techniques used in design and implementation of compilers programming languages and the related systems based on analysis of an input text and synthesis of the corresponding output. Students should be able make reasoned decisions about design of these systems. Based on acquired knowledge, students should employ principles and techniques of compiler writing and program analysis in related areas of computer science and system desing.

Syllabus

• Tasks of compiling, phases of a compiler, compiler structure.
• The role of lexical analysis. Structure, modules and interfaces. Construction.
• Parsing. The role of parser, interfaces and imlementation.
• Attribute grammars (AG) and syntax directed translation. Description of language properties via AGs.
• Semantic analysis, its tasks and implementation. Name and scope analysis, type checking.
• Run-time enviroments, storage organization and allocation, stack and heap.
• One-pass and multi-pass compiling. Intermediate code generation
• Techniques for code generation. register allocation.
• Error recovery.
• Local optimization. Flow analyses, global optimization.
• Compiler generators, techniques and tools.

Literature

• AHO, Alfred V., Ravi SETHI and Jeffrey D. ULLMAN. Compilers, principles, techniques, and tools. Reading: Addison-Wesley Publishing Company, 1987, x, 796 s. ISBN 0-201-10088-6. info
• APPEL, Andrew W. Modern compiler implementation in Java. Cambridge: Cambridge University Press, 1998, x, 548. ISBN 0521583888. info
• COOPER, Keith D. a Linda TORCZON. Engineering a compiler. Second Edition.San Francisco: Morgan Kaufmann Publishers, 2012. ISBN 978-0-12-088478-0
• COOPER, Keith D. and Linda TORCZON. Engineering a compiler. San Francisco: Morgan Kaufmann Publishers, 2004, xxx, 801. ISBN 155860698X. info
• GRUNE, Dick. Modern compiler design. Chichester: John Wiley & Sons, 2000, xviii, 736. ISBN 0471976970. info
• WILHELM, Reinhard and Dieter MAURER. Compiler design. Wokingham: Addison-Wesley Publishing Company, 1995, xv, 606 s. ISBN 0-201-42290-5. info

Teaching methods

Lectures, homeworks, home reading, class discussion

Assessment methods

written final exam without any reading materials (closed book).

Language of instruction

Czech

Follow-Up Courses

• PA037 Compiler Project

Further Comments

Study Materials
The course is taught annually.

Teacher's information

http://www.fi.muni.cz/usr/kretinsky/

PA008 Compiler Construction

Extent and Intensity

3/0. 3 credit(s) (plus extra credits for completion). Recommended Type of Completion: zk (examination). Other types of completion: z (credit).

Teacher(s)

prof. RNDr. Mojmír Křetínský, CSc. (lecturer)
prof. RNDr. Jiří Barnat, Ph.D. (alternate examiner)
prof. RNDr. Jan Strejček, Ph.D. (alternate examiner)

Guaranteed by

prof. RNDr. Mojmír Křetínský, CSc.
Department of Computer Science – Faculty of Informatics
Contact Person: prof. RNDr. Mojmír Křetínský, CSc.
Supplier department: Department of Computer Science – Faculty of Informatics

Timetable

Wed 10:00–12:50 B410

Prerequisites

Finite automata and regular languages (see IB005); pushdown automata and context-free languages, especially the parsing methods of deterministic context-free languages (LL and LR techniques) - see IA006.

Course Enrolment Limitations

The course is also offered to the students of the fields other than those the course is directly associated with.

fields of study / plans the course is directly associated with

there are 22 fields of study the course is directly associated with, display

Course objectives

At the end of the course students should be able to understand and explain principles, methods, and techniques used in design and implementation of compilers programming languages and the related systems based on analysis of an input text and synthesis of the corresponding output. Students should be able make reasoned decisions about design of these systems. Based on acquired knowledge, students should employ principles and techniques of compiler writing and program analysis in related areas of computer science and system desing.

Syllabus

• Tasks of compiling, phases of a compiler, compiler structure.
• The role of lexical analysis. Structure, modules and interfaces. Construction.
• Parsing. The role of parser, interfaces and imlementation.
• Attribute grammars (AG) and syntax directed translation. Description of language properties via AGs.
• Semantic analysis, its tasks and implementation. Name and scope analysis, type checking.
• Run-time enviroments, storage organization and allocation, stack and heap.
• One-pass and multi-pass compiling. Intermediate code generation
• Code generation. register allocation.
• Error recovery.
• Local optimization. Flow analyses, global optimization.
• Compiler generators, techniques and tools.

Literature

• AHO, Alfred V., Ravi SETHI and Jeffrey D. ULLMAN. Compilers, principles, techniques, and tools. Reading: Addison-Wesley Publishing Company, 1987, x, 796 s. ISBN 0-201-10088-6. info
• APPEL, Andrew W. Modern compiler implementation in Java. Cambridge: Cambridge University Press, 1998, x, 548. ISBN 0521583888. info
• COOPER, Keith D. and Linda TORCZON. Engineering a compiler. San Francisco: Morgan Kaufmann Publishers, 2004, xxx, 801. ISBN 155860698X. info
• GRUNE, Dick. Modern compiler design. Chichester: John Wiley & Sons, 2000, xviii, 736. ISBN 0471976970. info
• WILHELM, Reinhard and Dieter MAURER. Compiler design. Wokingham: Addison-Wesley Publishing Company, 1995, xv, 606 s. ISBN 0-201-42290-5. info

Teaching methods

Lectures, homeworks, home reading, class discussion

Assessment methods

written final exam without any reading materials (closed book).

Language of instruction

Czech

Further Comments

The course is taught annually.

Teacher's information

http://www.fi.muni.cz/usr/kretinsky/

PA008 Compiler Construction

Extent and Intensity

3/0. 3 credit(s) (plus extra credits for completion). Recommended Type of Completion: zk (examination). Other types of completion: z (credit).

Teacher(s)

prof. RNDr. Mojmír Křetínský, CSc. (lecturer)

Guaranteed by

prof. RNDr. Mojmír Křetínský, CSc.
Department of Computer Science – Faculty of Informatics
Contact Person: prof. RNDr. Mojmír Křetínský, CSc.
Supplier department: Department of Computer Science – Faculty of Informatics

Timetable

Thu 15:00–17:50 B410

Prerequisites

Finite automata and regular languages (see IB005); pushdown automata and context-free languages, especially the parsing methods of deterministic context-free languages (LL and LR techniques) - see IA006.

Course Enrolment Limitations

The course is also offered to the students of the fields other than those the course is directly associated with.

fields of study / plans the course is directly associated with

there are 26 fields of study the course is directly associated with, display

Course objectives

At the end of the course students should be able to understand and explain principles, methods, and techniques used in design and implementation of compilers programming languages and the related systems based on analysis of an input text and synthesis of the corresponding output. Students should be able make reasoned decisions about design of these systems. Based on acquired knowledge, students should employ principles and techniques of compiler writing and program analysis in related areas of computer science and system desing.

Syllabus

• Tasks of compiling, phases of a compiler, compiler structure.
• The role of lexical analysis. Structure, modules and interfaces. Construction.
• Parsing. The role of parser, interfaces and imlementation.
• Attribute grammars (AG) and syntax directed translation. Description of language properties via AGs.
• Semantic analysis, its tasks and implementation. Name and scope analysis, type checking.
• Run-time enviroments, storage organization and allocation, stack and heap.
• One-pass and multi-pass compiling. Intermediate code generation
• Code generation. register allocation.
• Error recovery.
• Local optimization. Flow analyses, global optimization.
• Compiler generators, techniques and tools.

Literature

• AHO, Alfred V., Ravi SETHI and Jeffrey D. ULLMAN. Compilers, principles, techniques, and tools. Reading: Addison-Wesley Publishing Company, 1987, x, 796 s. ISBN 0-201-10088-6. info
• APPEL, Andrew W. Modern compiler implementation in Java. Cambridge: Cambridge University Press, 1998, x, 548. ISBN 0521583888. info
• COOPER, Keith D. and Linda TORCZON. Engineering a compiler. San Francisco: Morgan Kaufmann Publishers, 2004, xxx, 801. ISBN 155860698X. info
• GRUNE, Dick. Modern compiler design. Chichester: John Wiley & Sons, 2000, xviii, 736. ISBN 0471976970. info
• WILHELM, Reinhard and Dieter MAURER. Compiler design. Wokingham: Addison-Wesley Publishing Company, 1995, xv, 606 s. ISBN 0-201-42290-5. info

Teaching methods

Lectures, homeworks, home reading, class discussion

Assessment methods

written final exam without any reading materials (closed book).

Language of instruction

Czech

Further Comments

Study Materials
The course is taught annually.

Teacher's information

http://www.fi.muni.cz/usr/kretinsky/

PA008 Compiler Construction

Extent and Intensity

3/0. 3 credit(s) (plus extra credits for completion). Recommended Type of Completion: zk (examination). Other types of completion: z (credit).

Teacher(s)

prof. RNDr. Mojmír Křetínský, CSc. (lecturer)

Guaranteed by

prof. RNDr. Mojmír Křetínský, CSc.
Department of Computer Science – Faculty of Informatics
Contact Person: prof. RNDr. Mojmír Křetínský, CSc.

Timetable

Thu 15:00–17:50 B410

Prerequisites

Finite automata and regular languages (see IB005); pushdown automata and context-free languages, especially the parsing methods of deterministic context-free languages (LL and LR techniques) - see IA006.

Course Enrolment Limitations

The course is also offered to the students of the fields other than those the course is directly associated with.

fields of study / plans the course is directly associated with

there are 26 fields of study the course is directly associated with, display

Course objectives

At the end of the course students should be able to understand and explain principles, methods, and techniques used in design and implementation of compilers programming languages and the related systems based on analysis of an input text and synthesis of the corresponding output. Students should be able make reasoned decisions about design of these systems. Based on acquired knowledge, students should employ principles and techniques of compiler writing and program analysis in related areas of computer science and system desing.

Syllabus

• Tasks of compiling, phases of a compiler, compiler structure.
• The role of lexical analysis. Structure, modules and interfaces. Construction.
• Parsing. The role of parser, interfaces and imlementation.
• Attribute grammars (AG) and syntax directed translation. Description of language properties via AGs.
• Semantic analysis, its tasks and implementation. Name and scope analysis, type checking.
• Run-time enviroments, storage organization and allocation, stack and heap.
• One-pass and multi-pass compiling. Intermediate code generation
• Code generation. register allocation.
• Error recovery.
• Local optimization. Flow analyses, global optimization.
• Compiler generators, techniques and tools.

Literature

• AHO, Alfred V., Ravi SETHI and Jeffrey D. ULLMAN. Compilers, principles, techniques, and tools. Reading: Addison-Wesley Publishing Company, 1987, x, 796 s. ISBN 0-201-10088-6. info
• APPEL, Andrew W. Modern compiler implementation in Java. Cambridge: Cambridge University Press, 1998, x, 548. ISBN 0521583888. info
• FISCHER, Charles N. and Richard J. LEBLANC. Crafting a compiler. Menlo Park: Benjamin/Cummings Publishing Company, 1988, 811 s. ISBN 0-8053-3201-4. info
• WILHELM, Reinhard and Dieter MAURER. Compiler design. Wokingham: Addison-Wesley Publishing Company, 1995, xv, 606 s. ISBN 0-201-42290-5. info
• Melichar, Bořivoj. Konstrukce překladačů. 1.a 2. část. Praha : ČVUT, 1999.

Teaching methods

Lectures, homeworks, home reading, class discussion

Assessment methods

written final exam without any reading materials (closed book).

Language of instruction

Czech

Further Comments

The course is taught annually.

Teacher's information

http://www.fi.muni.cz/usr/kretinsky/

PA008 Compiler Construction

Extent and Intensity

3/0. 3 credit(s) (plus extra credits for completion). Recommended Type of Completion: zk (examination). Other types of completion: z (credit).

Teacher(s)

prof. RNDr. Mojmír Křetínský, CSc. (lecturer)

Guaranteed by

prof. RNDr. Mojmír Křetínský, CSc.
Department of Computer Science – Faculty of Informatics
Contact Person: prof. RNDr. Mojmír Křetínský, CSc.

Timetable

Thu 15:00–17:50 B410

Prerequisites

Finite automata and regular languages (see IB005); pushdown automata and context-free languages, especially the parsing methods of deterministic context-free languages (LL and LR techniques) - see IA006.

Course Enrolment Limitations

The course is also offered to the students of the fields other than those the course is directly associated with.

fields of study / plans the course is directly associated with

there are 25 fields of study the course is directly associated with, display

Course objectives

At the end of the course students should be able to understand and explain principles, methods, and techniques used in design and implementation of compilers programming languages and the related systems based on analysis of an input text and synthesis of the corresponding output. Students should be able make reasoned decisions about design of these systems. Based on acquired knowledge, students should employ principles and techniques of compiler writing and program analysis in related areas of computer science and system desing.

Syllabus

• Tasks of compiling, phases of a compiler, compiler structure.
• The role of lexical analysis. Structure, modules and interfaces. Construction.
• Parsing. The role of parser, interfaces and imlementation.
• Attribute grammars (AG) and syntax directed translation. Description of language properties via AGs.
• Semantic analysis, its tasks and implementation. Name and scope analysis, type checking.
• Run-time enviroments, storage organization and allocation, stack and heap.
• One-pass and multi-pass compiling. Intermediate code generation
• Code generation. register allocation.
• Error recovery.
• Local optimization. Flow analyses, global optimization.
• Compiler generators, techniques and tools.

Literature

• AHO, Alfred V., Ravi SETHI and Jeffrey D. ULLMAN. Compilers, principles, techniques, and tools. Reading: Addison-Wesley Publishing Company, 1987, x, 796 s. ISBN 0-201-10088-6. info
• APPEL, Andrew W. Modern compiler implementation in Java. Cambridge: Cambridge University Press, 1998, x, 548. ISBN 0521583888. info
• FISCHER, Charles N. and Richard J. LEBLANC. Crafting a compiler. Menlo Park: Benjamin/Cummings Publishing Company, 1988, 811 s. ISBN 0-8053-3201-4. info
• WILHELM, Reinhard and Dieter MAURER. Compiler design. Wokingham: Addison-Wesley Publishing Company, 1995, xv, 606 s. ISBN 0-201-42290-5. info
• Melichar, Bořivoj. Konstrukce překladačů. 1.a 2. část. Praha : ČVUT, 1999.

Teaching methods

Lectures, homeworks, home reading, class discussion

Assessment methods

written final exam without any reading materials (closed book).

Language of instruction

Czech

Further Comments

Study Materials
The course is taught annually.

Teacher's information

http://www.fi.muni.cz/usr/kretinsky/

PA008 Compiler Construction

Extent and Intensity

3/0. 3 credit(s) (plus extra credits for completion). Recommended Type of Completion: zk (examination). Other types of completion: z (credit).

Teacher(s)

prof. RNDr. Mojmír Křetínský, CSc. (lecturer)

Guaranteed by

prof. RNDr. Mojmír Křetínský, CSc.
Department of Computer Science – Faculty of Informatics
Contact Person: prof. RNDr. Mojmír Křetínský, CSc.

Timetable

Thu 14:00–16:50 B410

Prerequisites

Finite automata and regular languages (see IB005); pushdown automata and context-free languages, especially the parsing methods of deterministic context-free languages (LL and LR techniques) - see IA006.

Course Enrolment Limitations

The course is also offered to the students of the fields other than those the course is directly associated with.

fields of study / plans the course is directly associated with

there are 25 fields of study the course is directly associated with, display

Course objectives

At the end of the course students should be able to understand and explain principles, methods, and techniques used in design and implementation of compilers programming languages and the related systems based on analysis of an input text and synthesis of the corresponding output. Students should be able make reasoned decisions about design of these systems. Based on acquired knowledge, students should employ principles and techniques of compiler writing and program analysis in related areas of computer science and system desing.

Syllabus

• Tasks of compiling, phases of a compiler, compiler structure.
• The role of lexical analysis. Structure, modules and interfaces. Construction.
• Parsing. The role of parser, interfaces and imlementation.
• Attribute grammars (AG) and syntax directed translation. Description of language properties via AGs.
• Semantic analysis, its tasks and implementation. Name and scope analysis, type checking.
• Run-time enviroments, storage organization and allocation, stack and heap.
• One-pass and multi-pass compiling. Intermediate code generation
• Code generation. register allocation.
• Error recovery.
• Local optimization. Flow analyses, global optimization.
• Compiler generators, techniques and tools.

Literature

• AHO, Alfred V., Ravi SETHI and Jeffrey D. ULLMAN. Compilers, principles, techniques, and tools. Reading: Addison-Wesley Publishing Company, 1987, x, 796 s. ISBN 0-201-10088-6. info
• APPEL, Andrew W. Modern compiler implementation in Java. Cambridge: Cambridge University Press, 1998, x, 548. ISBN 0521583888. info
• FISCHER, Charles N. and Richard J. LEBLANC. Crafting a compiler. Menlo Park: Benjamin/Cummings Publishing Company, 1988, 811 s. ISBN 0-8053-3201-4. info
• WILHELM, Reinhard and Dieter MAURER. Compiler design. Wokingham: Addison-Wesley Publishing Company, 1995, xv, 606 s. ISBN 0-201-42290-5. info
• Melichar, Bořivoj. Konstrukce překladačů. 1.a 2. část. Praha : ČVUT, 1999.

Teaching methods

Lectures, homeworks, home reading, class discussion

Assessment methods

written final exam without any reading materials (closed book).

Language of instruction

Czech

Further Comments

Study Materials
The course is taught annually.

Teacher's information

http://www.fi.muni.cz/usr/kretinsky/

PA008 Compiler Construction

Extent and Intensity

3/0. 3 credit(s) (plus extra credits for completion). Recommended Type of Completion: zk (examination). Other types of completion: z (credit).

Teacher(s)

prof. RNDr. Mojmír Křetínský, CSc. (lecturer)

Guaranteed by

prof. RNDr. Mojmír Křetínský, CSc.
Department of Computer Science – Faculty of Informatics
Contact Person: prof. RNDr. Mojmír Křetínský, CSc.

Timetable

Thu 14:00–17:50 B204

Prerequisites

Finite automata and regular languages (see IB005); pushdown automata and context-free languages, especially the parsing methods of deterministic context-free languages (LL and LR techniques) - see IA006.

Course Enrolment Limitations

The course is also offered to the students of the fields other than those the course is directly associated with.

fields of study / plans the course is directly associated with

there are 18 fields of study the course is directly associated with, display

Course objectives

Main objectives can be summarized as follows: to understand principles, methods, and techniques used in design and implementation of compilers programming languages and the related systems based on analysis of an input text and synthesis of the corresponding output. The principles and techniques of compiler writing are so pervasive that the ideas presented will be used many times in the career of a computer scientist and/or practitioner.

Syllabus

• Tasks of compiling, phases of a compiler, compiler structure.
• The role of lexical analysis. Structure, modules and interfaces. Construction.
• Parsing. The role of parser, interfaces and imlementation.
• Attribute grammars (AG) and syntax directed translation. Description of language properties via AGs.
• Semantic analysis, its tasks and implementation. Name and scope analysis, type checking.
• Run-time enviroments, storage organization and allocation, stack and heap.
• One-pass and multi-pass compiling. Intermediate code generation
• Code generation. register allocation.
• Error recovery.
• Local optimization. Flow analyses, global optimization.
• Compiler generators, techniques and tools.

Literature

• AHO, Alfred V., Ravi SETHI and Jeffrey D. ULLMAN. Compilers, principles, techniques, and tools. Reading: Addison-Wesley Publishing Company, 1987, x, 796 s. ISBN 0-201-10088-6. info
• APPEL, Andrew W. Modern compiler implementation in Java. Cambridge: Cambridge University Press, 1998, x, 548. ISBN 0521583888. info
• FISCHER, Charles N. and Richard J. LEBLANC. Crafting a compiler. Menlo Park: Benjamin/Cummings Publishing Company, 1988, 811 s. ISBN 0-8053-3201-4. info
• WILHELM, Reinhard and Dieter MAURER. Compiler design. Wokingham: Addison-Wesley Publishing Company, 1995, xv, 606 s. ISBN 0-201-42290-5. info
• Melichar, Bořivoj. Konstrukce překladačů. 1.a 2. část. Praha : ČVUT, 1999.

Assessment methods

Lectures and home readings, written final exam without any reading materials (closed book).

Language of instruction

Czech

Further Comments

The course is taught annually.

Teacher's information

http://www.fi.muni.cz/usr/kretinsky/

PA008 Compiler Construction

Extent and Intensity

3/0. 3 credit(s) (plus extra credits for completion). Recommended Type of Completion: zk (examination). Other types of completion: z (credit).

Teacher(s)

prof. RNDr. Mojmír Křetínský, CSc. (lecturer)

Guaranteed by

prof. RNDr. Mojmír Křetínský, CSc.
Department of Computer Science – Faculty of Informatics
Contact Person: prof. RNDr. Mojmír Křetínský, CSc.

Timetable

Thu 13:00–15:50 B410

Prerequisites

Finite automata and regular languages (see IB005); pushdown automata and context-free languages, especially the parsing methods of deterministic context-free languages (LL and LR techniques) - see IA006.

Course Enrolment Limitations

The course is also offered to the students of the fields other than those the course is directly associated with.

fields of study / plans the course is directly associated with

there are 18 fields of study the course is directly associated with, display

Course objectives

This course presents principles, methods, and techniques used in design and implementation of compilers programming languages and the related systems based on analysis of an input text and synthesis of the corresponding output. The principles and techniques of compiler writing are so pervasive that the ideas presented will be used many times in the career of a computer scientist and/or practitioner.

Syllabus

• Tasks of compiling, phases of a compiler, compiler structure.
• The role of lexical analysis. Structure, modules and interfaces. Construction.
• Parsing. The role of parser, interfaces and imlementation.
• Attribute grammars (AG) and syntax directed translation. Description of language properties via AGs.
• Semantic analysis, its tasks and implementation. Name and scope analysis, type checking.
• Run-time enviroments, storage organization and allocation, stack and heap.
• One-pass and multi-pass compiling. Intermediate code generation
• Code generation. register allocation.
• Error recovery.
• Local optimization. Flow analyses, global optimization.
• Compiler generators, techniques and tools.

Literature

• AHO, Alfred V., Ravi SETHI and Jeffrey D. ULLMAN. Compilers, principles, techniques, and tools. Reading: Addison-Wesley Publishing Company, 1987, x, 796 s. ISBN 0-201-10088-6. info
• APPEL, Andrew W. Modern compiler implementation in Java. Cambridge: Cambridge University Press, 1998, x, 548. ISBN 0521583888. info
• FISCHER, Charles N. and Richard J. LEBLANC. Crafting a compiler. Menlo Park: Benjamin/Cummings Publishing Company, 1988, 811 s. ISBN 0-8053-3201-4. info
• WILHELM, Reinhard and Dieter MAURER. Compiler design. Wokingham: Addison-Wesley Publishing Company, 1995, xv, 606 s. ISBN 0-201-42290-5. info
• Melichar, Bořivoj. Konstrukce překladačů. 1.a 2. část. Praha : ČVUT, 1999.

Assessment methods (in Czech)

závěrečná písemná zkouška bez pomocných materiálů.

Language of instruction

Czech

Further Comments

The course is taught annually.

Teacher's information

http://www.fi.muni.cz/usr/kretinsky/

PA008 Compiler Construction

Extent and Intensity

3/0. 3 credit(s) (plus extra credits for completion). Recommended Type of Completion: zk (examination). Other types of completion: z (credit).

Teacher(s)

prof. RNDr. Mojmír Křetínský, CSc. (lecturer)

Guaranteed by

prof. RNDr. Mojmír Křetínský, CSc.
Department of Computer Science – Faculty of Informatics
Contact Person: prof. RNDr. Mojmír Křetínský, CSc.

Timetable

Thu 14:00–16:50 B410

Prerequisites

! P008 Compilers
Finite automata and regular languages (see IB005); pushdown automata and context-free languages, especially the parsing methods of deterministic context-free languages (LL and LR techniques) - see IA006.

Course Enrolment Limitations

The course is also offered to the students of the fields other than those the course is directly associated with.

fields of study / plans the course is directly associated with

there are 6 fields of study the course is directly associated with, display

Course objectives

This course presents principles, methods, and techniques used in design and implementation of compilers programming languages and the related systems based on analysis of an input text and synthesis of the corresponding output. The principles and techniques of compiler writing are so pervasive that the ideas presented will be used many times in the career of a computer scientist and/or practitioner.

Syllabus

• Tasks of compiling, phases of a compiler, compiler structure.
• The role of lexical analysis. Structure, modules and interfaces. Construction.
• Parsing. The role of parser, interfaces and imlementation.
• Attribute grammars (AG) and syntax directed translation. Description of language properties via AGs.
• Semantic analysis, its tasks and implementation. Name and scope analysis, type checking.
• Run-time enviroments, storage organization and allocation, stack and heap.
• One-pass and multi-pass compiling. Intermediate code generation
• Code generation. register allocation.
• Error recovery.
• Local optimization. Flow analyses, global optimization.
• Compiler generators, techniques and tools.

Literature

• AHO, Alfred V., Ravi SETHI and Jeffrey D. ULLMAN. Compilers, principles, techniques, and tools. Reading: Addison-Wesley Publishing Company, 1987, x, 796 s. ISBN 0-201-10088-6. info
• APPEL, Andrew W. Modern compiler implementation in Java. Cambridge: Cambridge University Press, 1998, x, 548. ISBN 0521583888. info
• FISCHER, Charles N. and Richard J. LEBLANC. Crafting a compiler. Menlo Park: Benjamin/Cummings Publishing Company, 1988, 811 s. ISBN 0-8053-3201-4. info
• WILHELM, Reinhard and Dieter MAURER. Compiler design. Wokingham: Addison-Wesley Publishing Company, 1995, xv, 606 s. ISBN 0-201-42290-5. info
• Melichar, Bořivoj. Konstrukce překladačů. 1.a 2. část. Praha : ČVUT, 1999.

Assessment methods (in Czech)

závěrečná písemná zkouška bez pomocných materiálů.

Language of instruction

Czech

Further Comments

The course is taught annually.

Teacher's information

http://www.fi.muni.cz/usr/kretinsky/

PA008 Compiler Construction

Extent and Intensity

3/0. 3 credit(s) (plus extra credits for completion). Recommended Type of Completion: zk (examination). Other types of completion: z (credit).

Teacher(s)

prof. RNDr. Mojmír Křetínský, CSc. (lecturer)

Guaranteed by

prof. RNDr. Mojmír Křetínský, CSc.
Department of Computer Science – Faculty of Informatics
Contact Person: prof. RNDr. Mojmír Křetínský, CSc.

Timetable

Mon 11:00–13:50 D2

Prerequisites

! P008 Compilers
Finite automata and regular languages (see IB005); pushdown automata and context-free languages, especially the parsing methods of deterministic context-free languages (LL and LR techniques) - see IA006.

Course Enrolment Limitations

The course is also offered to the students of the fields other than those the course is directly associated with.

fields of study / plans the course is directly associated with

there are 6 fields of study the course is directly associated with, display

Course objectives

This course presents principles, methods, and techniques used in design and implementation of compilers programming languages and the related systems based on analysis of an input text and synthesis of the corresponding output. The principles and techniques of compiler writing are so pervasive that the ideas presented will be used many times in the career of a computer scientist and/or practitioner.

Syllabus

• Tasks of compiling, phases of a compiler, compiler structure.
• The role of lexical analysis. Structure, modules and interfaces. Construction.
• Parsing. The role of parser, interfaces and imlementation.
• Attribute grammars (AG) and syntax directed translation. Description of language properties via AGs.
• Semantic analysis, its tasks and implementation. Name and scope analysis, type checking.
• Run-time enviroments, storage organization and allocation, stack and heap.
• One-pass and multi-pass compiling. Intermediate code generation
• Code generation. register allocation.
• Error recovery.
• Local optimization. Flow analyses, global optimization.
• Compiler generators, techniques and tools.

Literature

• AHO, Alfred V., Ravi SETHI and Jeffrey D. ULLMAN. Compilers, principles, techniques, and tools. Reading: Addison-Wesley Publishing Company, 1987, x, 796 s. ISBN 0-201-10088-6. info
• APPEL, Andrew W. Modern compiler implementation in Java. Cambridge: Cambridge University Press, 1998, x, 548. ISBN 0521583888. info
• FISCHER, Charles N. and Richard J. LEBLANC. Crafting a compiler. Menlo Park: Benjamin/Cummings Publishing Company, 1988, 811 s. ISBN 0-8053-3201-4. info
• WILHELM, Reinhard and Dieter MAURER. Compiler design. Wokingham: Addison-Wesley Publishing Company, 1995, xv, 606 s. ISBN 0-201-42290-5. info
• Melichar, Bořivoj. Konstrukce překladačů. 1.a 2. část. Praha : ČVUT, 1999.

Assessment methods (in Czech)

závěrečná písemná zkouška bez pomocných materiálů.

Language of instruction

Czech

Further Comments

The course is taught annually.

Teacher's information

http://www.fi.muni.cz/usr/kretinsky/

PA008 Compiler Construction

Extent and Intensity

3/0. 3 credit(s) (plus extra credits for completion). Recommended Type of Completion: zk (examination). Other types of completion: z (credit).

Teacher(s)

prof. RNDr. Mojmír Křetínský, CSc. (lecturer)

Guaranteed by

prof. RNDr. Mojmír Křetínský, CSc.
Department of Computer Science – Faculty of Informatics
Contact Person: prof. RNDr. Mojmír Křetínský, CSc.

Timetable

Wed 14:00–16:50 B410

Prerequisites

! P008 Compilers
Finite automata and regular languages (see IB005); pushdown automata and context-free languages, especially the parsing methods of deterministic context-free languages (LL and LR techniques) - see IA006.

Course Enrolment Limitations

The course is only offered to the students of the study fields the course is directly associated with.

fields of study / plans the course is directly associated with

there are 6 fields of study the course is directly associated with, display

Course objectives

This course presents principles, methods, and techniques used in design and implementation of compilers programming languages and the related systems based on analysis of an input text and synthesis of the corresponding output. The principles and techniques of compiler writing are so pervasive that the ideas presented will be used many times in the career of a computer scientist and/or practitioner.

Syllabus

• Tasks of compiling, phases of a compiler, compiler structure.
• The role of lexical analysis. Structure, modules and interfaces. Construction.
• Parsing. The role of parser, interfaces and imlementation.
• Attribute grammars (AG) and syntax directed translation. Description of language properties via AGs.
• Semantic analysis, its tasks and implementation. Name and scope analysis, type checking.
• Run-time enviroments, storage organization and allocation, stack and heap.
• One-pass and multi-pass compiling. Intermediate code generation
• Code generation. register allocation.
• Error recovery.
• Local optimization. Flow analyses, global optimization.
• Compiler generators, techniques and tools.

Literature

• AHO, Alfred V., Ravi SETHI and Jeffrey D. ULLMAN. Compilers, principles, techniques, and tools. Reading: Addison-Wesley Publishing Company, 1987, x, 796 s. ISBN 0-201-10088-6. info
• APPEL, Andrew W. Modern compiler implementation in Java. Cambridge: Cambridge University Press, 1998, x, 548. ISBN 0521583888. info
• FISCHER, Charles N. and Richard J. LEBLANC. Crafting a compiler. Menlo Park: Benjamin/Cummings Publishing Company, 1988, 811 s. ISBN 0-8053-3201-4. info
• WILHELM, Reinhard and Dieter MAURER. Compiler design. Wokingham: Addison-Wesley Publishing Company, 1995, xv, 606 s. ISBN 0-201-42290-5. info
• Melichar, Bořivoj. Konstrukce překladačů. 1.a 2. část. Praha : ČVUT, 1999.

Assessment methods (in Czech)

závěrečná písemná zkouška bez pomocných materiálů.

Language of instruction

Czech

Further Comments

The course is taught annually.

Teacher's information

http://www.fi.muni.cz/usr/kretinsky/

PA008 Compiler Construction

Extent and Intensity

3/0. 3 credit(s) (plus extra credits for completion). Recommended Type of Completion: zk (examination). Other types of completion: z (credit).

Teacher(s)

prof. RNDr. Mojmír Křetínský, CSc. (lecturer)

Guaranteed by

prof. RNDr. Mojmír Křetínský, CSc.
Department of Computer Science – Faculty of Informatics
Contact Person: prof. RNDr. Mojmír Křetínský, CSc.

Timetable

Wed 14:00–16:50 B204

Prerequisites (in Czech)

! P008 Compilers
Předpokládá se znalost odpovídající rozsahu kursu IB005 a metod syntaktické analýzy LL, LR odpovídající 1.třetině kursu IA006.

Course Enrolment Limitations

The course is only offered to the students of the study fields the course is directly associated with.

fields of study / plans the course is directly associated with

• Applied Informatics (programme FI, N-AP)
• Informatics (programme FI, M-IN)
• Informatics (programme FI, N-IN)
• Upper Secondary School Teacher Training in Informatics (programme FI, M-SS)
• Upper Secondary School Teacher Training in Informatics (programme FI, N-SS)

Course objectives

This course presents principles, methods, and techniques used in design and implementation of compilers programming languages and the related systems based on analysis of an input text and synthesis of the corresponding output. The principles and techniques of compiler writing are so pervasive that the ideas presented will be used many times in the career of a computer scientist and/or practitioner.

Syllabus

• Tasks of compiling, phases of a compiler, compiler structure.
• The role of lexical analysis. Structure, modules and interfaces. Construction.
• Parsing. The role of parser, interfaces and imlementation.
• Attribute grammars (AG) and syntax directed translation. Description of language properties via AGs.
• Semantic analysis, its tasks and implementation. Name and scope analysis, type checking.
• Run-time enviroments, storage organization and allocation, stack and heap.
• One-pass and multi-pass compiling. Intermediate code generation
• Code generation. register allocation.
• Error recovery.
• Local optimization. Flow analyses, global optimization.
• Compiler generators, techniques and tools.

Literature

• AHO, Alfred V., Ravi SETHI and Jeffrey D. ULLMAN. Compilers, principles, techniques, and tools. Reading: Addison-Wesley Publishing Company, 1987, x, 796 s. ISBN 0-201-10088-6. info
• APPEL, Andrew W. Modern compiler implementation in Java. Cambridge: Cambridge University Press, 1998, x, 548. ISBN 0521583888. info
• FISCHER, Charles N. and Richard J. LEBLANC. Crafting a compiler. Menlo Park: Benjamin/Cummings Publishing Company, 1988, 811 s. ISBN 0-8053-3201-4. info
• WILHELM, Reinhard and Dieter MAURER. Compiler design. Wokingham: Addison-Wesley Publishing Company, 1995, xv, 606 s. ISBN 0-201-42290-5. info
• Melichar, Bořivoj. Konstrukce překladačů. 1.a 2. část. Praha : ČVUT, 1999.

Assessment methods (in Czech)

závěrečná písemná zkouška bez pomocných materiálů.

Language of instruction

Czech

Further Comments

The course is taught annually.

Teacher's information

http://www.fi.muni.cz/usr/kretinsky/

PA008 Compilers

Extent and Intensity

3/0. 3 credit(s) (plus extra credits for completion). Recommended Type of Completion: zk (examination). Other types of completion: z (credit).

Teacher(s)

prof. RNDr. Mojmír Křetínský, CSc. (lecturer)

Guaranteed by

prof. RNDr. Mojmír Křetínský, CSc.
Department of Computer Science – Faculty of Informatics
Contact Person: prof. RNDr. Mojmír Křetínský, CSc.

Timetable

Thu 14:00–16:50 A107

Prerequisites (in Czech)

! P008 Compilers
Předpokládá se znalost odpovídající rozsahu kursu IB005 a metod syntaktické analýzy LL, LR odpovídající 1.třetině kursu IA006.

Course Enrolment Limitations

The course is only offered to the students of the study fields the course is directly associated with.

fields of study / plans the course is directly associated with

there are 7 fields of study the course is directly associated with, display

Course objectives

This course presents principles, methods, and techniques used in design and implementation of compilers programming languages and the related systems based on analysis of an input text and synthesis of the corresponding output. The principles and techniques of compiler writing are so pervasive that the ideas presented will be used many times in the career of a computer scientist and/or practitioner.

Syllabus

• Tasks of compiling, phases of a compiler, compiler structure.
• The role of lexical analysis. Structure, modules and interfaces. Construction.
• Parsing. The role of parser, interfaces and imlementation.
• Attribute grammars (AG) and syntax directed translation. Description of language properties via AGs.
• Semantic analysis, its tasks and implementation. Name and scope analysis, type checking.
• Run-time enviroments, storage organization and allocation, stack and heap.
• One-pass and multi-pass compiling. Intermediate code generation
• Code generation. register allocation.
• Error recovery.
• Local optimization. Flow analyses, global optimization.
• Compiler generators, techniques and tools.

Literature

• AHO, Alfred V., Ravi SETHI and Jeffrey D. ULLMAN. Compilers, principles, techniques, and tools. Reading: Addison-Wesley Publishing Company, 1987, x, 796 s. ISBN 0-201-10088-6. info
• APPEL, Andrew W. Modern compiler implementation in Java. Cambridge: Cambridge University Press, 1998, x, 548. ISBN 0521583888. info
• FISCHER, Charles N. and Richard J. LEBLANC. Crafting a compiler. Menlo Park: Benjamin/Cummings Publishing Company, 1988, 811 s. ISBN 0-8053-3201-4. info
• WILHELM, Reinhard and Dieter MAURER. Compiler design. Wokingham: Addison-Wesley Publishing Company, 1995, xv, 606 s. ISBN 0-201-42290-5. info
• Melichar, Bořivoj. Konstrukce překladačů. 1.a 2. část. Praha : ČVUT, 1999.

Assessment methods (in Czech)

závěrečná písemná zkouška

Language of instruction

Czech

Further Comments

The course is taught annually.

Teacher's information

http://www.fi.muni.cz/usr/kretinsky/

PA008 Compiler Construction

The course is not taught in Autumn 2023

Extent and Intensity

3/0/0. 3 credit(s) (plus extra credits for completion). Recommended Type of Completion: zk (examination). Other types of completion: z (credit).

Teacher(s)

prof. RNDr. Mojmír Křetínský, CSc. (lecturer)
Mgr. Libor Caha, PhD. (assistant)

Guaranteed by

prof. RNDr. Mojmír Křetínský, CSc.
Department of Computer Science – Faculty of Informatics
Contact Person: prof. RNDr. Mojmír Křetínský, CSc.
Supplier department: Department of Computer Science – Faculty of Informatics

Prerequisites

Finite automata and regular languages (see IB005); pushdown automata and context-free languages, especially the parsing methods of deterministic context-free languages (LL and LR techniques) - see IA006.

Course Enrolment Limitations

The course is also offered to the students of the fields other than those the course is directly associated with.

fields of study / plans the course is directly associated with

there are 53 fields of study the course is directly associated with, display

Course objectives

At the end of the course students should be able to understand and explain principles, methods, and techniques used in design and implementation of compilers programming languages and the related systems based on analysis of an input text and synthesis of the corresponding output. Students should be able make reasoned decisions about design of these systems. Based on acquired knowledge, students should employ principles and techniques of compiler writing and program analysis in related areas of computer science and system desing.

Learning outcomes

On successful completion of the course students will be able to:
1. Specify and analyse the lexical, syntactic and semantic structures of language features and separate the lexical, syntactic and semantic analyses into phases for a compiler.
2. Implement a scanner, parser, and semantic analyser with/without the aid of automatic SW tools.
3. Write an intermediate (IR) code generator. Turn IR code into machine code. Describe techniques for intermediate code optimisation.

Syllabus

• Tasks of compiling, phases of a compiler, compiler structure.
• The role of lexical analysis. Structure, modules and interfaces. Construction.
• Parsing. The role of parser, interfaces and imlementation.
• Attribute grammars (AG) and syntax directed translation. Description of language properties via AGs.
• Semantic analysis, its tasks and implementation. Name and scope analysis, type checking.
• Run-time enviroments, storage organization and allocation, stack and heap.
• One-pass and multi-pass compiling. Intermediate code generation
• Techniques for code generation. register allocation.
• Error recovery.
• Local optimization. Flow analyses, global optimization.
• Compiler generators, techniques and tools.

Literature

• AHO, Alfred V. Compilers : principles, techniques, & tools. 2nd ed. Boston: Pearson/Addison Wesley, 2007, xxiv, 1009. ISBN 0321486811. info
• AHO, Alfred V., Ravi SETHI and Jeffrey D. ULLMAN. Compilers, principles, techniques, and tools. Reading: Addison-Wesley Publishing Company, 1987, x, 796 s. ISBN 0-201-10088-6. info
• APPEL, Andrew W. Modern compiler implementation in Java. Cambridge: Cambridge University Press, 1998, x, 548. ISBN 0521583888. info
• COOPER, Keith D. a Linda TORCZON. Engineering a compiler. Second Edition.San Francisco: Morgan Kaufmann Publishers, 2012. ISBN 978-0-12-088478-0
• COOPER, Keith D. and Linda TORCZON. Engineering a compiler. San Francisco: Morgan Kaufmann Publishers, 2004, xxx, 801. ISBN 155860698X. info
• GRUNE, Dick. Modern compiler design. Chichester: John Wiley & Sons, 2000, xviii, 736. ISBN 0471976970. info

Teaching methods

Lectures, homeworks, home reading, class discussion

Assessment methods

written final exam without any reading materials (closed book).

Language of instruction

Czech

Follow-Up Courses

• PA037 Compiler Project

Further Comments

Study Materials
The course is taught annually.
The course is taught: every week.

Teacher's information

http://www.fi.muni.cz/usr/kretinsky/

• Enrolment Statistics (recent)