Typing the Untypeable in Erlang - A static type system for Erlang using Partial Evaluation
Ladda ner
Typ
Examensarbete för masterexamen
Master Thesis
Master Thesis
Program
Computer science – algorithms, languages and logic (MPALG), MSc
Publicerad
2018
Författare
Valliappan, Nachiappan
Modellbyggare
Tidskriftstitel
ISSN
Volymtitel
Utgivare
Sammanfattning
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.
Beskrivning
Ämne/nyckelord
Data- och informationsvetenskap , Computer and Information Science