Datalog-based Scalable Semantic Diffing of Concurrent Programs.

Chungha Sung Shuvendu K. Lahiri Constantin Enea Chao Wang

Published in: CoRR (2018)

Keyphrases

concurrent programs
natural language
deductive databases
process algebra
high level
query language
expressive power
databases
web applications
semantic web
relational algebra
concurrent programming