Towards Normalization by Evaluation for Erlang

dc.contributor.authorAgrell, Carl
dc.contributor.authorYang, Haohan
dc.contributor.departmentChalmers tekniska högskola / Institutionen för data och informationstekniksv
dc.contributor.departmentChalmers University of Technology / Department of Computer Science and Engineeringen
dc.contributor.examinerAbel, Andreas
dc.contributor.supervisorValliappan, Nachiappan
dc.date.accessioned2023-06-26T08:58:05Z
dc.date.available2023-06-26T08:58:05Z
dc.date.issued2023
dc.date.submitted2023
dc.description.abstractNormalization 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.urihttp://hdl.handle.net/20.500.12380/306385
dc.setspec.uppsokTechnology
dc.subjectErlang
dc.subjectLambda calculus
dc.subjectNormalization
dc.subjectCall-by-value
dc.subjectNormalization by Evaluation
dc.subjectPartial Evaluation
dc.titleTowards Normalization by Evaluation for Erlang
dc.type.degreeExamensarbete för masterexamensv
dc.type.degreeMaster's Thesisen
dc.type.uppsokH
local.programmeComputer science – algorithms, languages and logic (MPALG), MSc
Ladda ner
Original bundle
Visar 1 - 1 av 1
HĂ€mtar...
Bild (thumbnail)
Namn:
CSE 23-72 CA HY.pdf
Storlek:
390.16 KB
Format:
Adobe Portable Document Format
Beskrivning:
License bundle
Visar 1 - 1 av 1
HĂ€mtar...
Bild (thumbnail)
Namn:
license.txt
Storlek:
2.35 KB
Format:
Item-specific license agreed upon to submission
Beskrivning: