A Novel WCET Semantics of Synchronous Programs.
Michael MendlerPartha S. RoopBruno BodinPublished in: FORMATS (2016)
Keyphrases
- stable model semantics
- fixpoint semantics
- logic programming
- stable models
- semantic information
- asynchronous communication
- logic programs
- normal logic programs
- automatic programming
- declarative semantics
- programming environment
- control flow
- fixpoint
- database languages
- semantic representation
- real time
- conceptual graphs
- deductive databases
- relational databases
- information systems
- neural network