Deriving Analysers by Folding/Unfolding of Natural Semantics and a Case Study: Slicing.

Valérie Gouranton

Published in: SAS (1998)

Keyphrases

logic programming
formal semantics
case study
relational databases
semantic information
petri net
test bed
data sets
neural network
logic programs
model theoretic