Proving Theorems by Program Transformation.

Fabio Fioravanti Alberto Pettorossi Maurizio Proietti Valerio Senni

Published in: Fundam. Informaticae (2013)

Keyphrases

computer programs
control program
case study
three dimensional
neural network
search engine
high level
expert systems
open source
test cases
transformation rules
digital topology