Regular Approximation of Computation Paths in Logic and Functional Languages.

John P. Gallagher Laura Lafave

Published in: Dagstuhl Seminar on Partial Evaluation (1996)

Keyphrases

efficient computation
exact computation
expressive power
logic programming
language independent
context free
predicate logic
functional language
shortest path
modal logic
databases
numerical integration
cross lingual
programs written
closed form
knowledge representation
neural network