Projects of the Programming 2 course of the Computer Science Bachelor's Degree @ University of Pisa.
| Project number | Language | Description |
|---|---|---|
| 1 | OCaml | The interpreter for a functional language. The impelementation separates concrete and abstract syntax. Two versions of the language have been provided, one that follows the static scoping rule and the other that adopts the dynamic scoping rule. |
| 2 | Java | The design and implementation of a data structure useful for the management of a blogging platform. The focus of the project is learning to program by contract (using pre-conditions, post-conditions and invariants): the definition of a contract abstractly specifies the behavior on which clients can rely. |