WaveCert: Formal Compiler Validation for Asynchronous Dataflow Programs.
Zhengyao LinJoshua GancherBryan ParnoPublished in: CoRR (2023)
Keyphrases
- control flow
- parallel execution
- data flow
- programming language
- programs written
- general purpose
- high level language
- formal model
- software systems
- formal specification
- java bytecode
- runtime environment
- highly optimized
- fixpoint
- distributed memory machines
- graph transformation
- formal language
- database
- programming environment
- formal methods
- process model
- relational databases