A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs.
Claudio CorrodiAlexander HeußnerChristopher M. PoskittPublished in: CoRR (2016)
Keyphrases
- stable model semantics
- fixpoint semantics
- logic programming
- concurrent programs
- stable models
- dynamic logic
- database languages
- declarative semantics
- control flow
- formal semantics
- computer programs
- graph model
- logic programs
- process algebra
- asynchronous circuits
- programming language constructs
- operational semantics
- relational databases
- transformation rules
- metadata
- graph theoretic
- answer set programming
- concurrent programming
- semantic information