User Tools

Site Tools


compilers:assignments20202021
Return to Home page

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
compilers:assignments20202021 [2021/04/06 16:57]
zioskenz
compilers:assignments20202021 [2021/04/07 22:48] (current)
zioskenz
Line 12: Line 12:
  
 ===== Assignment 1 ===== ===== 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: This assignment is composed of two parts:
   - Perform a research on the main techniques used for Natural Language Processing (NLP)   - 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   - Use a tool (for instance NLTL [[https://www.nltk.org/]]) to implement an example about NLP
  
- +===== Assignment =====
-===== Assignment =====+
 This assignment is composed of two parts: 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.   - 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.   - 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 =====+===== Assignment =====
 This assignment is composed of two parts: 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.   - 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.   - 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 =====+===== Assignment =====
 This assignment is composed of two parts: 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.   - 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.   - 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%255B0%255D=1614596110&rev2%255B1%255D=1617721033&difftype=sidebyside
/web/htdocs/www.skenz.it/home/data/pages/compilers/assignments20202021.txt · Last modified: 2021/04/07 22:48 by zioskenz