Difference between revisions of "Programming Languages and Compilers"

From Marek Běhálek Wiki
Jump to navigation Jump to search
(Created page with "<translate> == Basic introduction == The course introduces the functional style of programming. It covers basic properties of the functional programming like: the side effec...")
 
Line 2: Line 2:
 
== Basic introduction ==  
 
== Basic introduction ==  
  
The course introduces the functional style of programming. It covers basic properties of the functional programming like: the side effect-free programming, functions as first-class values, high-order functions, recursion, pattern matching, or function closures. Also, course introduces selected data structures like a list and a tree and a functional style of working with these structures. As a programming language, Haskell will be used. It is a pure functional, statically typed, lazy evaluated language.  
+
Students get an overview of the area of programming, main programming paradigms (imperative, functional, logic) and their typical representatives. They also get some theoretical body of knowledge and practical experience of compiling methods, especially concentrated to the source code analysis and intermediate code synthesis phases. Students develop practical abilities to use compiler generators like JavaCC.
  
 
===Subject aims expressed by acquired skills and competences===  
 
===Subject aims expressed by acquired skills and competences===  
 
Students get an overview of the area of programming, main programming paradigms (imperative, functional, logic) and their typical representatives. They also get some theoretical body of knowledge and practical experience of compiling methods, especially concentrated to the source code analysis and intermediate code synthesis phases. Students develop practical abilities to use compiler generators like JavaCC.
 
  
 
After this lectures student should be able to effectively implement analyzers of a structured text data or of simple languages. Also they should understand concepts and constructions common for today's programming languages.  
 
After this lectures student should be able to effectively implement analyzers of a structured text data or of simple languages. Also they should understand concepts and constructions common for today's programming languages.  
  
 
===Recommended literature===  
 
===Recommended literature===  
 +
 
</translate>
 
</translate>
 
Torben Mogensen: Basics of Compiler Design - freely available at http://www.diku.dk/hjemmesider/ansatte/torbenm/Basics/
 
Torben Mogensen: Basics of Compiler Design - freely available at http://www.diku.dk/hjemmesider/ansatte/torbenm/Basics/
Line 20: Line 19:
 
<translate>
 
<translate>
 
===Way of continuous check of knowledge in the course of semester===  
 
===Way of continuous check of knowledge in the course of semester===  
During the exercises, students will be programming assigned tasks. The results of these tasks will be the crucial part of the final evaluation. Additionally, two smaller projects will be given.  
+
 
 +
Evaluation compose from two parts. During the exercise, students will be programing assigned tasks (40 points). Remaining points can be obtained for a project – a compiler that will be continuously implemented during the semester (60 points).  
  
 
== Software ==
 
== Software ==

Revision as of 12:47, 13 January 2022

Basic introduction

Students get an overview of the area of programming, main programming paradigms (imperative, functional, logic) and their typical representatives. They also get some theoretical body of knowledge and practical experience of compiling methods, especially concentrated to the source code analysis and intermediate code synthesis phases. Students develop practical abilities to use compiler generators like JavaCC.

Subject aims expressed by acquired skills and competences

After this lectures student should be able to effectively implement analyzers of a structured text data or of simple languages. Also they should understand concepts and constructions common for today's programming languages.

Recommended literature

Torben Mogensen: Basics of Compiler Design - freely available at http://www.diku.dk/hjemmesider/ansatte/torbenm/Basics/

Aho, A. V., Lam M.S., Sethi, R., Ullman, J. D.: Compilers. Principles, Techniques, and Tools. Addison Wesley; 2nd edition (September 10, 2006). ISBN 0321486811.7

Pierce B.C.: Types and Programming Languages, MIT Press, 2002, ISBN: 9780262162098.

Way of continuous check of knowledge in the course of semester

Evaluation compose from two parts. During the exercise, students will be programing assigned tasks (40 points). Remaining points can be obtained for a project – a compiler that will be continuously implemented during the semester (60 points).

Software

In our lectures, we will be using...

Presentations

Presentations used in our lectures:

Úvod do FPR Introduction to FPR

Schedule:

Laboratories

Homework

Combine study

Tutorial 1

Tutorial 2

Tutorial 3

Tutorial 4

Tutorial 5