A flat reachability-based measure for CakeML's cost semantics
Paper in proceeding, 2021
space usage
cost semantics
compiler verification
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