A flat reachability-based measure for CakeML's cost semantics
Paper i proceeding, 2021
space usage
cost semantics
compiler verification
Författare
Alejandro Gómez Londoño
Chalmers, Data- och informationsteknik, Formella metoder
Magnus Myreen
Chalmers, Data- och informationsteknik, Formella metoder
ACM International Conference Proceeding Series
1-9
9781450386449 (ISBN)
Virtual, Online, Netherlands,
Ämneskategorier
Inbäddad systemteknik
Datavetenskap (datalogi)
Datorsystem
DOI
10.1145/3544885.3544887