Integrating Programming, Properties, and Validation.

Published in: MPC (2000)

Keyphrases

desirable properties
programming language
genetic algorithm
social networks
video sequences
user interface
multiresolution
structural properties