Gradual Memory Safety

<p>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.</p>

Name thesis:degree_name

Master of Science

Level thesis:degree_level

Thesis

Discipline thesis:degree_discipline

Math and Computer Science

Year dc:date.available

2024

Author dc:creator

• Phillips, Jack

Contributors dc:contributor

• Dr. Andy Poe

• Types
• Programming Languages
• Formal Verification
• Information Security
• Other Computer Sciences
• Programming Languages and Compilers
• Theory and Algorithms

Repository record dc:identifier

https://commons.nmu.edu/theses/834

OAI identifier oai:identifier

oai:commons.nmu.edu:theses-1844