A flat reachability-based measure for CakeML's cost semantics
Paper in proceeding, 2021
compiler verification
cost semantics
space usage
Author
Alejandro Gómez Londoño
Chalmers, Computer Science and Engineering (Chalmers), Formal methods
Magnus Myreen
Chalmers, Computer Science and Engineering (Chalmers), Formal methods
ACM International Conference Proceeding Series
1-9
9781450386449 (ISBN)
Virtual, Online, Netherlands,
Subject Categories
Embedded Systems
Computer Science
Computer Systems
DOI
10.1145/3544885.3544887