From implementation to theory in product synthesis.

Published in: POPL (2007)

Keyphrases

theoretical framework
life cycle
efficient implementation
implementation details
databases
neural network
image processing
computational model
general theory