Course Details for A.Y. 2019/2020

The information on this page refer to the academic year 2019/2020. Therefore, several links are not available and data may be incomplete. To read the current information on the course, if it is still available, go to the university course catalogue . To read information relating other academic years, use the list at the bottom of this page.

A. Year:

2019/2020

Name:

Laboratorio di Compilatori / Compiler Laboratory

Type:

Course

Basic information

Code:

DT0275

Sector:

INF/01

Credits:

: Bachelor Degree in Computer Science 3 CFU (d)

Term:

2^nd semester

Degree(s):

Bachelor Degree in Computer Science 3^rd anno curriculum General Elective

Language:

Italian

Teacher(s):

Sergio Orefice

Course Objectives

The course presents the tools for the automatic generation of the lexical and syntactic analysis parts of the compiling process

Course Content

1) The LEX compiler: structure of the LEX programs, operators and syntax, examples of LEX specifications, resolving conflicts.
2) The YACC compiler: structure of the YACC programs, semantic actions and syntax, input-output translation and examples of YACC specifications, using YACC with ambiguous grammars
3) Automatic parser generation of non linear languages: two-dimensional symbolic languages, positional grammars and spatial relations, using YACC with positional grammars

Learning Outcomes (Dublin Descriptors)

On successful completion of this course, the student should

acquire knowledge of the structure and the role of compilers; acquire knowledge and understanding of the principles and techniques used in the lexical and parsing phases of the compilation process
be able to apply the methodologies learnt by the course to the development of small software projects regarding the construction of parts of compiler using Lex and Yacc
demonstrate capacity to extend concepts and formalisms of classic compiling theory to the context of non linear languages
demonstrate capacity for reading and understanding other texts on related topics

Prerequisites and Learning Activities

Knowledge of the basic concepts of the compiling process

Assessment Methods and Criteria

Formative assessment: the formative assessment is performed via interaction between teacher and students during lectures. The students are encouraged to actively participate to the lectures by making questions and discussing the theoretical concepts presented and the solutions adopted in the developed examples. Summative assessment: written test on the subjects treated in the course. The written test (lasting 2 hours) consists of a set of questions for the verification of theoretical/formal competences and for the verification of skills in understanding and solving significant exercises. Criteria of evaluation will be: the level of knowledge of the principles and techniques presented in the course, as well as the ability to apply them; the clarity and completeness of explanations.

Textbooks

point 3) papers provided by the lecturer - points 1) and 2) A.V. Aho, R. Sethi, J.D. Ullmann, Compilers, principles, techniques and tools , Addison-Wesley .

Internet Resources

Homepage:

http://www.di.univaq.it/orefice/corsi.html

Course page updates

This course page is available (with possible updates) also for the following academic years:

To read the current information on this course, if it is still available, go to the university course catalogue .

Course information last updated on: 21 ottobre 2016, 10:44