A pipeline converts programs with annotations into typed attributed graphs using AST parsing and neural embeddings to support verification artefact reuse across languages.
In: PICS-Publication Series of the Institute of Cognitive Science, Institute of Cognitive Science, vol 1
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.SE 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Graph Construction and Matching for Imperative Programs using Neural and Structural Methods
A pipeline converts programs with annotations into typed attributed graphs using AST parsing and neural embeddings to support verification artefact reuse across languages.