Learning shape analysis

DOI10.1007/978-3-319-66706-5_4MaRDI QIDQ5233237zbMATHOpenAlexFDO

Authors Marc Brockschmidt, Yuxin Chen, Pushmeet Kohli, Siddharth Krishna, 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

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Programming Languages and Systems
• Shape Analysis for Composite Data Structures
• A shape graph logic and a shape system
• scientific article; zbMATH DE number 1953039
• A Shape Analysis for Non-linear Data Structures

Cited in

(7)

• Locust
• Data analysis for shapes and images
• Bottom-Up Shape Analysis
• Relational inductive shape analysis
• Gradual tensor shape checking
• Identifying dynamic data structures by learning evolving patterns in memory
• Processing, analyzing and learning of images, shapes, and forms. Part 1

Describes a project that uses

Uses Software

• Daikon
• Predator
• GRASShopper
• IronFleet
• SeLoger

This page was built for publication: Learning shape analysis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5233237)