Date of Award
4-2024
Degree Type
Thesis
Degree Name
Master of Science
Department
Math and Computer Science
Program
Computer Science (MS)
First Advisor/Chairperson
Dr. Andy Poe
Abstract
This paper extends the theory of Gradual Types to include memory safe Region-Types and Region-Based Memory Management. It also makes advancements in the capabilities of Region-Based systems. Lastly, it presents the Svejk language and Hasek Type System.
Recommended Citation
Phillips, Jack, "Gradual Memory Safety" (2024). All NMU Master's Theses. 834.
https://commons.nmu.edu/theses/834
Access Type
Open Access
Included in
Information Security Commons, Other Computer Sciences Commons, Programming Languages and Compilers Commons, Theory and Algorithms Commons