Verifying Equivalence of Database-Driven Applications

Proceedings of the ACM on Programming Languages
doi 10.1145/3158144
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Association for Computing Machinery (ACM)

Related search

Performance of Database Driven Network Applications From the User Perspective

KSII Transactions on Internet and Information Systems
Computer NetworksInformation SystemsCommunications
2009English

Ensuring Behavioural Equivalence in Test-Driven Porting

2006English

Model-Driven Applications

Advances and Applications in Model-Driven Engineering
2014English

Database Systems for Advanced Applications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

On a New Equivalence of Coefficient Conditions and Applications

Mathematical Inequalities and Applications
MathematicsApplied Mathematics
1999English

Large-Scale ASP Replication of Database-Driven Portals

English

Large-Scale ASP Replication of Database-Driven Portals

2009English

Memory Storage Issues of Temporal Database Applications on Relational Database Management Systems

Journal of Computer Science
Computer NetworksSoftwareArtificial IntelligenceCommunications
2010English

Model Driven Development of Gamified Applications

Journal of Web Engineering
Computer NetworksSoftwareInformation SystemsCommunications
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy