Return to Home page

Differences

This shows you the differences between two versions of the page.

@@ Line 1: / Line 1: @@
+====== Assignments 2020/2021 (Formal Languages and Compilers course) ======
+===== Rules =====
+The programming part of the exam can be performed by doing an assignment.
+  * A maximum of 5 assignments will be allocated
+  * Assignments are reserved only for students attending the course the first time this semester
+Students have to send an application for the assignment to riccardo.sisto [at] polito.it and stefano.scanzio [at] polito.it within **15 April, 2021**.\\
+The application must contain a curriculum, which has to include the known software and the list of passed exams, both master and bachelor degrees, with the related scores.\\
+In addition, students have to provide a preference between the assignments reported in the following.\\
+The allocation of the assignments to students will be communicated within **20 April, 2021**.\\
+Possibly, depending on the curriculum or on the number of requests, some requests may not be accepted.
+===== Assignment 1 =====
+This assignment is composed of two parts:
+  - Study of the languages used by the security protocol verifier Proverif (https://prosecco.gforge.inria.fr/personal/bblanche/proverif/).
+  - Development of a Java library that can be used to parse part of the Proverif input and output languages. The library must provide access to the syntax tree and symbol table of the recognized language structures. A set of junit tests must also be produced to test the produced library.
+===== Assignment 2 =====
+This assignment is composed of two parts:
+  - Perform a research on the main techniques used for Natural Language Processing (NLP)
+  - Use a tool (for instance NLTL [[https://www.nltk.org/]]) to implement an example about NLP
+===== Assignment 3 =====
+This assignment is composed of two parts:
+  - Study of the //Lua// programming language (http://www.lua.org/), and perform a presentation with many examples of the main features of this language.
+  - Writing of a compiler that recognizes part of the //Lua// language. The compiler has to make a translation in the LLVM syntax (https://llvm.org/), allowing the execution of the code in a virtual machine.
+===== Assignment 4 =====
+This assignment is composed of two parts:
+  - Study of the //Haskell// programming language (https://www.haskell.org/), and perform a presentation with many examples of the main features of this language.
+  - Writing of a compiler that recognizes part of the //Haskell// language. The compiler has to make a translation in the LLVM syntax (https://llvm.org/), allowing the execution of the code in a virtual machine.
+===== Assignment 5 =====
+This assignment is composed of two parts:
+  - Study of the //Lisp// programming language (https://common-lisp.net/), and perform a presentation with many examples of the main features of this language.
+  - Writing of a compiler that recognizes part of the //Lisp// language. The compiler has to make a translation in the LLVM syntax (https://llvm.org/), allowing the execution of the code in a virtual machine.

If you found any error, or if you want to partecipate to the editing of this wiki, please contact: admin [at] skenz.it

You can reuse, distribute or modify the content of this page, but you must cite in any document (or webpage) this url: https://www.skenz.it/compilers/assignments20202021?do=diff&rev2%5B0%5D=1614596110&rev2%5B1%5D=1617097760&difftype=sidebyside