Automatic Generation of Functional Programs from CASL Specifications.

Agnès Arnould Laurent Fuchs Marc Aiguier Thibaud Brunet

Published in: ICSEA (2006)

Keyphrases

functional programs
term rewriting systems
logic programs
lazy evaluation
stochastic grammar
functional language
high level
functional programming
databases
machine learning
artificial intelligence
knowledge base
general purpose
simulated annealing
integrity constraints
operational semantics