Bartelsman Mejía, Miguel (2022) Skeletal semantics for message-passing concurrency - from actors to channels and back. Bachelor's Thesis, Computing Science.
|
Text
bCS_2022_BartelsmanMejiaMiguel.pdf Download (234kB) | Preview |
|
![[img]](https://fse.studenttheses.ub.rug.nl/style/images/fileicons/text.png) |
Text
toestemming.pdf Restricted to Registered users only Download (131kB) |
Abstract
This project aims to stand at the junction between two needs in computing science: the need for easier and more portable concurrency, and the need for more universal formal specifications of programming languages. Making use of skeletal semantics—a novel frame work for describing programming language semantics—we present two concurrent programming languages, one for the actor model and one for the channel model of process communication, along with their interpreters and two utilities for translating programs between the two languages. The goal is to test the capabilities of skeletal semantics in the context of message-passing concurrent programming languages.
| Item Type: | Thesis (Bachelor's Thesis) |
|---|---|
| Supervisor name: | Perez Parra, J.A. and Frumin, D. |
| Degree programme: | Computing Science |
| Thesis type: | Bachelor's Thesis |
| Language: | English |
| Date Deposited: | 29 Aug 2022 09:17 |
| Last Modified: | 29 Aug 2022 09:17 |
| URI: | https://fse.studenttheses.ub.rug.nl/id/eprint/28537 |
Actions (login required)
 |
View Item |