Automatic synthesis of data-flow analyzers
From MaRDI portal
Publication:2145353
Recommendations
Cites work
- scientific article; zbMATH DE number 5344975 (Why is no real title available?)
- scientific article; zbMATH DE number 1084399 (Why is no real title available?)
- A Branch-and-Cut Algorithm for the Resolution of Large-Scale Symmetric Traveling Salesman Problems
- Abstraction-guided synthesis of synchronization
- Automating string processing in spreadsheets using input-output examples
- Example-directed synthesis: a type-theoretic interpretation
- Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms
- Learning a static analyzer from data
- Pick your contexts well, understanding object-sensitivity
- Precise interprocedural dataflow analysis with applications to constant propagation
- Program synthesis with equivalence reduction
- Satisfiability modulo theories
- Synthesizing imperative programs from examples guided by static analysis
Cited in
(3)
Describes a project that uses
Uses Software
This page was built for publication: Automatic synthesis of data-flow analyzers
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2145353)