Static Reduction Analysis for Imperative Object Oriented Languages.

Gilles Barthe Bernard P. Serpette

Published in: LPAR (2000)

Keyphrases

object oriented languages
statistical analysis
data mining
database
image analysis
dynamic analysis
data sets
case study
high level
multi agent systems
object oriented
programming language
open source