Abstract Semantic Diffing of Evolving Concurrent Programs.

Ahmed Bouajjani Constantin Enea Shuvendu K. Lahiri

Published in: SAS (2017)

Keyphrases

concurrent programs
high level
concurrent programming
natural language
relational databases
database
databases
artificial intelligence
information systems
case study
general purpose
building blocks
concurrent processes