Formalising Behaviour Preserving Program Transformations.

Tom Mens Serge Demeyer Dirk Janssens

Published in: ICGT (2002)

Keyphrases

computer programs
databases
real world
program execution
artificial intelligence
three dimensional
high level
expert systems
probabilistic model