Specification and end-to-end proof of a reactive language and its compiler (invited talk).
Timothy BourkePublished in: REBLS@SPLASH (2021)
Keyphrases
- end to end
- invited talk
- programming language
- specification language
- highly modular
- wireless ad hoc networks
- constraint language
- reactive systems
- congestion control
- selected papers
- high bandwidth
- ad hoc networks
- knowledge discovery and data mining
- admission control
- formal specification
- application layer
- code generation
- machine learning
- data mining
- databases
- rate allocation
- information retrieval
- neural network