The Right Kind of Non-Determinism: Using Concurrency to Verify C Programs with Underspecified Semantics.
Eduard KamburjanNathan WasserPublished in: ICE (2022)
Keyphrases
- stable models
- stable model semantics
- control flow
- object oriented languages
- dynamic logic
- logic programming
- normal logic programs
- formal semantics
- logic programs
- fixpoint
- programming language constructs
- fixpoint semantics
- default reasoning
- specification language
- computer programs
- concurrent programming
- database systems
- data sets
- programming environment
- active rules
- conceptual graphs
- data flow
- concurrency control
- conceptual model