On Program Equivalence in Languages with Ground-Type References.

Andrzej S. Murawski

Published in: LICS (2003)

Keyphrases

computer programs
expressive power
type checking
data sets
database
neural network
machine learning
information retrieval
language identification
program execution
definite clause