A Practical Partial Evaluator for a Multi-Paradigm Declarative Language.

Elvira Albert Michael Hanus Germán Vidal

Published in: FLOPS (2001)

Keyphrases

declarative language
deductive databases
modeling language
information systems
neural network
case study
artificial intelligence
social networks
evolutionary algorithm
general purpose
integrity constraints
practical application