Static Analysis for Logic-Based Dynamic Programs

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

zbMATH Keywords

consistencyemptinessalgorithmic problemshistory independencedynamic descriptive complexity

Mathematics Subject Classification ID

Database theory (68P15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Descriptive complexity and finite models (68Q19)