Optimization of program invariants.

A. Ananda Rao P. Radhika Raju

Published in: ACM SIGSOFT Softw. Eng. Notes (2014)

Keyphrases

optimization algorithm
imperative programs
global optimization
optimization problems
cost function
data mining
optimization process
discrete optimization
genetic algorithm
website
case study
camera calibration
real time
constrained optimization
optimization model
computer programs
database