Cost Analysis for Import and Export Using an Abstract Machine
Fuente:
arXiv
Saved in:
| Main Authors: | , , , , , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866913561481052160 |
|---|---|
| author | Bennetzen, Benjamin Kleist, Daniel Vang Steinmann, Emilie Sonne Walsted, Loke Kristensen, Nikolaj Rossander Steffensen, Peter Buus |
| author_facet | Bennetzen, Benjamin Kleist, Daniel Vang Steinmann, Emilie Sonne Walsted, Loke Kristensen, Nikolaj Rossander Steffensen, Peter Buus |
| contents | 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 create a type system that over-approximate this cost. This over-approximation results in an equation that may contain unknowns originating from while loops. We conclude with a formal proof of soundness of the type system for our abstract machine, demonstrating that it over-approximates the cost of any terminating program. An implementation of the type system, constraint gathering, and the abstract machine is also presented |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2410_18158 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Cost Analysis for Import and Export Using an Abstract Machine Bennetzen, Benjamin Kleist, Daniel Vang Steinmann, Emilie Sonne Walsted, Loke Kristensen, Nikolaj Rossander Steffensen, Peter Buus Programming Languages 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 create a type system that over-approximate this cost. This over-approximation results in an equation that may contain unknowns originating from while loops. We conclude with a formal proof of soundness of the type system for our abstract machine, demonstrating that it over-approximates the cost of any terminating program. An implementation of the type system, constraint gathering, and the abstract machine is also presented |
| title | Cost Analysis for Import and Export Using an Abstract Machine |
| topic | Programming Languages |
| url | https://arxiv.org/abs/2410.18158 |