Compositional timing-aware semantics for synchronous programming.
Joaquín AguadoMichael MendlerJia Jie WangBruno BodinPartha S. RoopPublished in: FDL (2017)
Keyphrases
- asynchronous communication
- programming language
- formal semantics
- programming environment
- programming language constructs
- information systems
- logical language
- website
- semantic information
- development environment
- object oriented programming
- asynchronous circuits
- specification language
- computer programming
- data sets
- semantic relationships
- metadata
- neural network