Datalog-based scalable semantic diffing of concurrent programs.

Chungha Sung Shuvendu K. Lahiri Constantin Enea Chao Wang

Published in: ASE (2018)

Keyphrases

concurrent programs
expressive power
deductive databases
semantic web
integrity constraints
high level
query language
query answering
datalog programs
concurrent programming
concurrent processes
knowledge base
energy efficiency
process algebra