Static Name Control for FreshML.

François Pottier

Published in: LICS (2007)

Keyphrases

control system
optimal control
process control
control structure
genetic algorithm
control strategy
control method
control theory
image processing
wide range
multi agent systems
data analysis
control program