Better Living Through Operational Semantics: An Optimizing Compiler for Radio Protocols
Proceedings of the ACM on Programming Languages
doi 10.1145/3110263
Full Text
Abstract
Available in
Date
August 29, 2017
Authors
Publisher
Association for Computing Machinery (ACM)