Declarative Program Transformation: A Deforestation Case-Study.

Loïc Correnson Étienne Duris Didier Parigot Gilles Roussel

Published in: PPDP (1999)

Keyphrases

case study
database
real world
neural network
control program
declarative semantics
knowledge representation
logic programming
declarative language
static analysis
development process
lessons learned
business process
design process
data model
social networks
artificial intelligence
machine learning
data sets