Learning Shape Analysis
From MaRDI portal
Publication:5233237
DOI10.1007/978-3-319-66706-5_4zbMath1420.68065OpenAlexW2748853711MaRDI QIDQ5233237
Marc Brockschmidt, Siddharth Krishna, Pushmeet Kohli, Yuxin Chen, Daniel Tarlow
Publication date: 16 September 2019
Published in: Static Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-66706-5_4
Learning and adaptive systems in artificial intelligence (68T05) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (1)
Uses Software
This page was built for publication: Learning Shape Analysis
