Prime factorizations of abstract domains using first-order logic

DOI10.1007/3-540-61735-3_14zbMath1355.68056OpenAlexW1583233241MaRDI QIDQ2956723

Elena Marchiori

Publication date: 19 January 2017

Published in: Algebraic and Logic Programming (Search for Journal in Brave)

Full work available at URL: https://ir.cwi.nl/pub/2625

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Design of abstract domains using first-order logic ⋮ Assertion based Inductive Verification Methods for Logic Programs

This page was built for publication: Prime factorizations of abstract domains using first-order logic