Mechanised Semantics for Gated Static Single Assignment.

Yann Herklotz Delphine Demange Sandrine Blazy

Published in: CPP (2023)

Keyphrases

logic programming
neural network
database
machine learning
expert systems
logic programs
semantic relationships
semantic representation