Squeezing Intermediate Construction in Equational Programs.

Alain Miniussi David J. Sherman

Published in: Dagstuhl Seminar on Partial Evaluation (1996)

Keyphrases

intermediate level
theorem proving
construction process
automatic programming
theorem prover
real time
machine learning
genetic algorithm
database systems
digital libraries
language learning