Static Analysis for Logic-Based Dynamic Programs
From MaRDI portal
Publication:5351965
DOI10.4230/LIPIcs.CSL.2015.308zbMath1373.68181arXiv1507.04537OpenAlexW2963799957MaRDI QIDQ5351965
Thomas Schwentick, Thomas Zeume, Nils Vortmeier
Publication date: 31 August 2017
Full work available at URL: https://arxiv.org/abs/1507.04537
Database theory (68P15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Descriptive complexity and finite models (68Q19)