A Unified Framework to Learn Program Semantics with Graph Neural Networks.
Shangqing LiuPublished in: ASE (2020)
Keyphrases
- neural network
- pattern recognition
- graph properties
- learning rules
- artificial neural networks
- intended meaning
- graphical representation
- graph theoretic
- multi layer
- semantically equivalent
- control flow
- graph theory
- neural network model
- feed forward
- logic programming
- random walk
- bipartite graph
- fault diagnosis
- fuzzy logic
- graph model
- declarative semantics
- formal semantics
- programming language constructs
- semantics of logic programs
- logic programs
- function approximators
- np complete
- structured data
- semantic information
- undirected graph
- graph mining
- directed acyclic graph
- weighted graph