Learning shape analysis

DOI10.1007/978-3-319-66706-5_4zbMATH Open1420.68065OpenAlexW2748853711MaRDI QIDQ5233237FDOQ5233237

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

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

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)

Cited In (6)

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

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)