On the Automated Verification of Web Applications with Embedded SQL

DOI10.4230/LIPIcs.ICDT.2017.16zbMath1402.68123arXiv1610.02101OpenAlexW2530836305MaRDI QIDQ3174909

Shachar Itzhaky, Noam Rinetzky, Orr Tamir, Helmut Veith, Florian Zuleger, Mooly Sagiv, Tomer Kotek

Publication date: 18 July 2018

Full work available at URL: https://arxiv.org/abs/1610.02101

zbMATH Keywords

SQLreasoningdecidabilityprogram verificationweb servicestwo-variable fragment of first-order logicscripting language

Mathematics Subject Classification ID

Database theory (68P15) Theory of programming languages (68N15) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Internet topics (68M11)

Related Items (1)

Data Centric Workflows for Crowdsourcing

This page was built for publication: On the Automated Verification of Web Applications with Embedded SQL