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…