Verifying equivalence of database-driven applications.

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

Published in: Proc. ACM Program. Lang. (2018)

Keyphrases

database driven
design patterns
web databases
user friendly
php mysql
artificial intelligence
e learning
database
databases
object oriented