A Formal Approach to Parallelizing Compilers.

Teodor Rus Eric Van Wyk

Published in: PPSC (1997)

Keyphrases

formal model
learning algorithm
formal specification
formal models
machine learning
computer vision
learning environment
digital libraries
evolutionary algorithm
formal methods
mathematical foundations