|
|
|
|
| Bachelorprojekt - Softwareteknologi | Project No. 0045: Parallel decision procedures for arithmetics |
| Aktuelle | Tidligere |
In this project decision procedures for arithmetic should be implemented in the functional programming language ERLANG. A special feature of ERLANG is that it supports concurrency in an elegant manner, and a goal of the project is to gain insight into parallel implementations of certain decision algorithms using functional languages.
| Prerequisites: | 02152 Concurrent Programming, 02156 Formal Logical Systems or 02157 Functional Programming |
Supervisor(s) Michael R. Hansen
| Sidst opdateret: Oct 31, 2011 af Hans Henrik Løvengreen |