Multivariant assertion-based guidance in abstract interpretation

DOI10.1007/978-3-030-13838-7_11zbMath1524.68086arXiv1808.05197OpenAlexW2886765993MaRDI QIDQ6085982

Isabel García-Contreras, Manuel V. Hermenegildo, Jose Francisco Morales

Publication date: 9 November 2023

Published in: Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1808.05197

zbMATH Keywords

multivariancestatic analysisprogram analysisabstract interpretationcontext sensitivityassertionsuser guidance

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

Incremental Analysis of Logic Programs with Assertions and Open Predicates ⋮ Parallel Logic Programming: A Sequel ⋮ Testing your (static analysis) truths

This page was built for publication: Multivariant assertion-based guidance in abstract interpretation