|
|
|
|
| Bachelorprojekt - Softwareteknologi | Project No. 0167: Running a language in Maude |
| Aktuelle | Tidligere |
Maude (maude.cs.uiuc.edu) is a high-performance declarative language that is particularly suited to implement interpreters of programming languages, in particular those for concurrent and distributed computing. One of the advantages of having a Maude interpreter is that many analysis tools (such as model checkers) are obtained for free. This allows one to perform formal verification of programs in the implemented language.
Several projects can be offered related to the implementation of languages in Maude. The main goal of the project would be to implement an interpreter for a given language and, eventually, perform some analysis of programs using the tools offered by Maude.
| Prerequisites: | Familiarity with functional programming, logic and formal semantics of programming languages is necessary. |
Supervisor(s) Alberto Lluch Lafuente
| Sidst opdateret: Nov 2, 2015 af Hans Henrik Løvengreen |