Mathematical programming: Turing completeness and applications to software analysis

DOI10.1007/s10878-014-9715-3zbMath1358.68073MaRDI QIDQ405669

Leo Liberti, Fabrizio Marinelli

Publication date: 5 September 2014

Published in: Journal of Combinatorial Optimization (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10878-014-9715-3

zbMATH Keywords

static analysis; abstract interpretation; code verification

Mathematics Subject Classification ID

90C90: Applications of mathematical programming

68N15: Theory of programming languages

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

Uses Software

• AMPL
• CPLEX
• GLPK
• GAMS
• ROSE