Abstract Interpretation with Infinitesimals
From MaRDI portal
Publication:2796053
DOI10.1007/978-3-662-49122-5_11zbMath1475.68188arXiv1511.00825OpenAlexW2296029809MaRDI QIDQ2796053
Kengo Kido, Ichiro Hasuo, Swarat Chaudhuri
Publication date: 23 March 2016
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1511.00825
Specification and verification (program logics, model checking, etc.) (68Q60) Other applications of nonstandard models (economics, physics, etc.) (03H10)
Related Items (1)
This page was built for publication: Abstract Interpretation with Infinitesimals
