Specification and verification of data-driven Web applications-Reference-Cited by-同舟云学术

Specification and verification of data-driven Web applications

Published:2007-05 Issue:3 Volume:73 Page:442-474
ISSN:0022-0000
Container-title:Journal of Computer and System Sciences
language:en
Short-container-title:Journal of Computer and System Sciences

Author:

Deutsch Alin,Sui Liying,Vianu Victor

Publisher

Elsevier BV

Subject

Applied Mathematics,Computational Theory and Mathematics,Computer Networks and Communications,Theoretical Computer Science

Reference40 articles.

1. S. Abiteboul, L. Herr, J.V. den Bussche, Temporal versus first-order logic to query temporal databases, in: Proc. ACM PODS, 1996, pp. 49–57

2. Foundations of Databases;Abiteboul,1995

3. Relational transducers for electronic commerce;Abiteboul;J. Comput. System Sci.,2000

4. D. Berardi, D. Calvanese, G. Giacomo, R. Hull, M. Mecella, Automatic composition of transition-based semantic Web services with messaging, in: VLDB, 2005

5. An overview of transaction logic;Bonner;Theoret. Comput. Sci.,1994

Cited by 59 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Verification of Unary Communicating Datalog Programs;Proceedings of the ACM on Management of Data;2024-05-10

2. VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints;Proceedings of the ACM on Programming Languages;2024-04-29

3. Impact of Data Quality on Question Answering System Performances;Intelligent Automation & Soft Computing;2023

4. Analyzing Termination for Prev-Aware Fragments of Communicating Datalog Programs;Rules and Reasoning;2023

5. Model Checking Based Web Service Verification: A Systematic Literature Review;IEEE Transactions on Services Computing;2021-05-01