Towards Normalization by Evaluation for Erlang
| dc.contributor.author | Agrell, Carl | |
| dc.contributor.author | Yang, Haohan | |
| dc.contributor.department | Chalmers tekniska högskola / Institutionen för data och informationsteknik | sv |
| dc.contributor.department | Chalmers University of Technology / Department of Computer Science and Engineering | en |
| dc.contributor.examiner | Abel, Andreas | |
| dc.contributor.supervisor | Valliappan, Nachiappan | |
| dc.date.accessioned | 2023-06-26T08:58:05Z | |
| dc.date.available | 2023-06-26T08:58:05Z | |
| dc.date.issued | 2023 | |
| dc.date.submitted | 2023 | |
| dc.description.abstract | 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. | |
| dc.identifier.uri | http://hdl.handle.net/20.500.12380/306385 | |
| dc.setspec.uppsok | Technology | |
| dc.subject | Erlang | |
| dc.subject | Lambda calculus | |
| dc.subject | Normalization | |
| dc.subject | Call-by-value | |
| dc.subject | Normalization by Evaluation | |
| dc.subject | Partial Evaluation | |
| dc.title | Towards Normalization by Evaluation for Erlang | |
| dc.type.degree | Examensarbete för masterexamen | sv |
| dc.type.degree | Master's Thesis | en |
| dc.type.uppsok | H | |
| local.programme | Computer science – algorithms, languages and logic (MPALG), MSc |