Mercury is a relatively new declarative programming language aimed at resolving the issues commonly found in programming languages of that paradigm. This thesis presents the improvements which have recently been implemented in the Mercury compiler regarding parallelism. The document is divided as follows. To begin with, we define a few notions related to the imperative and declarative paradigms. Then, we introduce the Mercury language mainly through its syntax, goals, types, modes, and determinism. Afterwards, we pay interest in parallelism in Mercury by presenting what has been done so far in the Mercury compiler. Next, we introduce the work which has recently been done to the Mercury compiler namely implicit parallelism and granularity control. Before we conclude this thesis, a parallelism implementation comparison is presented with the two main other declarative programming languages namely Haskell and Prolog.
| la date de réponse | 2007 |
|---|
| langue originale | Anglais |
|---|
| L'institution diplômante | |
|---|
| Superviseur | Wim Vanhoof (Promoteur) |
|---|
Parallel Mercury
Tannier, J. (Auteur). 2007
Student thesis: Master types › Master en sciences informatiques