SOURCE-LINKED INTELLIGENCE

Program Intelligence, Declaratively and Symbolically

CORDIS · observation · Publication date unknown

dea of combining a declarative system (e.g., a Datalog fixpoint engine) and a symbolic reasoning system, such as an SMT solver or algebraic rewrite system. The second is the seamless integration of a machine learning approach, over large amounts of data (from past code bases), in the declarative inference process. The PINDESYM project will leverage symbolic reasoning and learning approaches to greatly advance program analysis. The challenge is dual: not only to invent powerful new techniques and algorithms, but also to capture all the diversity in symbolic, value-flow, and learning-based reasoning in a single, unified, reusable, and extensible analysis framework—a true deep program understanding engine, far beyond current approaches. program analysis

Read original source ↗ Open in workspace

recordType

award

status

SIGNED

region

EU

value

2395875

unit

EUR