Unifying execution of imperative generators and declarative specifications.
Pengyu NieMarinela ParovicZhiqiang ZangSarfraz KhurshidAleksandar MilicevicMilos GligoricPublished in: Proc. ACM Program. Lang. (2020)
Keyphrases
- attribute grammars
- control flow
- execution traces
- high level
- formal descriptions
- execution model
- knowledge representation
- data flow
- formal specification
- plan execution
- code generation
- expert systems
- specification language
- domain independent
- plan generation
- reactive systems
- delay insensitive
- artificial intelligence
- data sets