Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming

DOI10.1007/978-3-642-14309-0_7zbMath1285.68030OpenAlexW2139712811MaRDI QIDQ3578394

Roberto Giacobazzi, Giorgio Delzanno, Francesco Ranzato

Publication date: 20 July 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-14309-0_7

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic programming (68N17)

Related Items (1)

Accelerating program analyses in Datalog by merging library facts

Uses Software

• Bedwyr

This page was built for publication: Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming