A Framework for Defining Object-Calculi.

Frédéric Lang Pierre Lescanne Luigi Liquori

Published in: World Congress on Formal Methods (1999)

Keyphrases

main contribution
d objects

databases
data sets

genetic algorithm
multiscale

logical framework
similar objects