A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs.
Claudio CorrodiAlexander HeußnerChristopher M. PoskittPublished in: FASE (2016)
Keyphrases
- concurrent programs
- asynchronous circuits
- process algebra
- stable model semantics
- fixpoint semantics
- stable models
- logic programming
- formal semantics
- control flow
- declarative semantics
- programming environment
- normal logic programs
- concurrent programming
- logic programs
- programming language constructs
- dynamic logic
- neural network
- model theoretic
- computer programs
- graph model
- semantic information
- online discussion
- asynchronous communication
- database languages
- answer sets
- deductive databases
- object oriented