Verifying Equivalence of Database-Driven Applications.

Yuepeng Wang Isil Dillig Shuvendu K. Lahiri William R. Cook

Published in: CoRR (2017)

Keyphrases

database driven
design patterns
web databases
php mysql
databases
artificial intelligence
case study
high level
data structure
object oriented