• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Verifying equivalence of database-driven applications.

Yuepeng WangIsil DilligShuvendu K. LahiriWilliam 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