Static Filtering on Stratified Programs.

Byeong-Mo Chang Kwang-Moo Choe Taisook Han

Published in: Inf. Process. Lett. (1993)

Keyphrases

filtering algorithm
filtering process
computer programs
database
java programs
high level
image filtering
provably correct
control structures
dynamic analysis
intermediate level
control flow
filtering method
object oriented
evolutionary algorithm
case study
website
image processing
real time