2 papers
cs.PL2024
Cost Analysis for Import and Export Using an Abstract Machine
Benjamin Bennetzen, Daniel Vang Kleist, Emilie Sonne Steinmann +3
This paper presents the syntax and reduction rules for an abstract machine based on the JavaScript XML language. We incorporate the notion of cost into our reduction rules, and cre…
cs.CR2024
A Type System to Ensure Non-Interference in ReScript
Benjamin Bennetzen, Daniel Vang Kleist, Emilie Sonne Steinmann +3
Protecting confidential data from leaking is a critical challenge in computer systems, particularly given the growing number of observers on the internet. Therefore, limiting infor…