Strictification of circular programs.

João Paulo Fernandes João Saraiva Daniel Seidel Janis Voigtländer

Published in: PEPM (2011)

Keyphrases

control structures
computer programs
automatic programming
hough transform
harmonic functions
real time
free software
prolog programs
program execution
java programs
source code
database systems
case study
image processing
e learning
genetic algorithm
databases