Abstracting Induction by Extrapolation and Interpolation
From MaRDI portal
Publication:5172632
DOI10.1007/978-3-662-46081-8_2zbMath1432.68258OpenAlexW85711746MaRDI QIDQ5172632
Publication date: 4 February 2015
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-662-46081-8_2
interpolationextrapolationstatic analysiswideningnarrowingabstract interpretationstatic checkingstatic verificationabstract inductiondual-narrowingdual-widening
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (3)
Improving the results of program analysis by abstract interpretation beyond the decreasing sequence ⋮ Three improvements to the top-down solver ⋮ Enforcing termination of interprocedural analysis
This page was built for publication: Abstracting Induction by Extrapolation and Interpolation