Proposta de dissertação do MEI Título: OCaml-Flat on the Learn-OCaml platform Proponente(s): Artur Miguel Dias e António Ravara Créditos: 42 ECTS Área científica: Software Construction and Analysis Início preferencial: 2º Semestre URL: http://ctp.di.fct.unl.pt/FACTOR/ Já estão em curso trabalhos preliminares executados pelo alunos: Breve descrição: Objectives: The first objective is to adapt the existing web application OFLAT to the Learn-OCaml platform (http://ocaml.hackojo.org/). The original version of OFLAT has been developed within the Ocsigen framework and Learn-OCaml () is quite different. The second objective is to extend the existing library OCaml-FLAT with support for pushdown automata and LL(1) grammars. Expected contributions: - A package of OCaml modules adapting the existing Ocsigen application to the environment and rules of Learn-OCaml. Such package should be designed as an optional add-in. - Use the available internationalization mechanism of Learn-OCaml to support multiple languages in the names of the command and in the system messages. - A very clear implementation in OCaml of pushdown automata and LL(1) grammars. - Whenever possible, the code should follow closely the formalization of the concepts as studied by the students. Observações: The dissertation is part of a project running this academic year in the Department, funded by the OCaml Software Foundation. The selected student will be supported by a grant of circa €??? throughout the thesis development period.