Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/95302
Title: | A type system for Erlang |
Authors: | Vella, Annalizz (2013) |
Keywords: | Computer software ERLANG (Computer program language) Calculus |
Issue Date: | 2013 |
Citation: | Vella, A. (2013). A type system for Erlang (Bachelor's dissertation). |
Abstract: | The actor model is a concurrent computational model[4] used by a number of programming languages such as Erlang[5], which is a concurrent language that became very prevalent in today's world. It is a scalable model used for constructing reactive systems where a system consists of several actors executing asynchronously in parallel. An actor can communicate with another actor via message passing. Concurrency is hard to reason about since a program might result in multiple interleavings, leading to a nondeterministic behaviour which in tum complicate debugging. One way how to simplify reasoning is by using a type system, which is a static analyser used to approximate the behaviour of a program[7]. This is done by using a set of rules which describe what an expression will evaluate into. In this dissertation I will discuss work towards building a type system that reasons about communicating actors by using a calculus that is based on Erlang. I will give the design of the type system by first stating the errors which the system might go into and then showing the typing rules. Finally I will show that the type system works correctly by giving a proof of soundness. |
Description: | B.Sc. IT (Hons)(Melit.) |
URI: | https://www.um.edu.mt/library/oar/handle/123456789/95302 |
Appears in Collections: | Dissertations - FacICT - 2013 Dissertations - FacICTCS - 2010-2015 |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
BSC(HONS)ICT_Vella_Annalizz_2013.PDF Restricted Access | 3.31 MB | Adobe PDF | View/Open Request a copy |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.