A calculus of program adaptation and its applications.

Rahma Ben Ayed Jules Desharnais Marc Frappier Ali Mili

Published in: Sci. Comput. Program. (2000)

Keyphrases

computer programs
static analysis
program execution
automated deduction
dynamic adaptation
databases
case study
artificial neural networks
logic programs
expressive power
adaptation process
control program