Towards Normalization by Evaluation for Erlang
Ladda ner
Publicerad
Författare
Typ
Examensarbete för masterexamen
Master's Thesis
Master's Thesis
Modellbyggare
Tidskriftstitel
ISSN
Volymtitel
Utgivare
Sammanfattning
Normalization by Evaluation (NbE) is a technique to extract the normal form of a đ-calculus term. Originally targeting pure đ-calculus, the algorithm can be extended and adjusted to work on more practical call-by-value programming languages. We implement NbE for a fragment of Erlang, starting at the Moggiâs semantics framework of computational lambda calculus, and largely inspired by Filinskiâs research. The result shows that our normalizer can be applied on programs with rich semantics, and can potentially be extended to perform partial evaluation.
Beskrivning
Ămne/nyckelord
Erlang, Lambda calculus, Normalization, Call-by-value, Normalization by Evaluation, Partial Evaluation