Abstract semantic diffing of evolving concurrent programs.

Ahmed Bouajjani Constantin Enea Shuvendu K. Lahiri

Published in: Formal Methods Syst. Des. (2019)

Keyphrases

concurrent programs
high level
natural language
process algebra
artificial intelligence
database systems
software engineering
response time
model checking