A master thesis from Aalborg University
Data-flow analysis of dependencies and aliases for a functional programming languages
[Data-flow analyse for afhængigheder og aliasering for et funktionelt programmeringssprog]
Author(s)
Term
4. term
Education
Publication year
2023
Submitted on
2023-06-16
Pages
56 pages
Abstract
As ReScript introduces a strongly typed language that targets JavaScript, as an alternative to gradually typed languages, such as TypeScript. While ReScript is built upon OCaml, it provides its own build system and integration with JavaScript, as such not much analysis has been introduced to ReScript. They do provide an experimental analysis tool to analyze areas, such as dead-code and termination. As data-flow analysis has been used for decades in compiler optimization, as they provide information about the data-flow in programs. As many languages use locations, the data-flow analysis must consider aliasing to ensure safety. In this paper, we present a type system for data-flow analysis for a subset of the ReScript language, more specific for a $\lambda$-calculus with mutability and pattern matching. We present the syntax and semantics of the language, where we extends the semantics with a semantic data-flow analysis. The type system is a local analysis that collects information about what variables are used and alias information. We show that how the binding models relate for the semantics and type system and shows that the type system gives a sound approximation of dependencies and alias information.
Keywords
Documents
Colophon: This page is part of the AAU Student Projects portal, which is run by Aalborg University. Here, you can find and download publicly available bachelor's theses and master's projects from across the university dating from 2008 onwards. Student projects from before 2008 are available in printed form at Aalborg University Library.
If you have any questions about AAU Student Projects or the research registration, dissemination and analysis at Aalborg University, please feel free to contact the VBN team. You can also find more information in the AAU Student Projects FAQs.