An approach to deciding the observational equivalence of Algol-like languages.

Published in: Ann. Pure Appl. Log. (2004)

Keyphrases

expressive power
programming language
language independent
machine learning
case study
cross lingual
databases
object oriented
neural network
information retrieval
genetic algorithm
text summarization
computer programs
syntactic and semantic dependencies