Curing schizophrenia by program rewriting in Esterel.

Olivier Tardieu Robert de Simone

Published in: MEMOCODE (2004)

Keyphrases

circuit design
medical images
computer programs
program execution
magic sets
database
image registration
static analysis
databases
search engine
data management
conjunctive queries
datalog programs
rewrite rules
control program
rewriting rules