Typing the Untypeable in Erlang - A static type system for Erlang using Partial Evaluation

dc.contributor.author	Valliappan, Nachiappan
dc.contributor.department	Chalmers tekniska högskola / Institutionen för data- och informationsteknik (Chalmers)	sv
dc.contributor.department	Chalmers University of Technology / Department of Computer Science and Engineering (Chalmers)	en
dc.date.accessioned	2019-07-03T14:55:50Z
dc.date.available	2019-07-03T14:55:50Z
dc.date.issued	2018
dc.description.abstract	Erlang is a dynamically typed concurrent functional programming language popular for its use in distributed applications. Being a dynamically typed language by design, the Erlang compiler allows the successful compilation and execution of many programs which would be rejected by a type checker of a statically typed language. This idiosyncrasy of Erlang makes it difficult to retrofit static type checking technology onto the language. In this thesis, we develop a static type system suitable for Erlang using a program specialization technique called partial evaluation.
dc.identifier.uri	https://hdl.handle.net/20.500.12380/256252
dc.language.iso	eng
dc.setspec.uppsok	Technology
dc.subject	Data- och informationsvetenskap
dc.subject	Computer and Information Science
dc.title	Typing the Untypeable in Erlang - A static type system for Erlang using Partial Evaluation
dc.type.degree	Examensarbete för masterexamen	sv
dc.type.degree	Master Thesis	en
dc.type.uppsok	H
local.programme	Computer science – algorithms, languages and logic (MPALG), MSc

Ladda ner

Visar 1 - 1 av 1