A Rewriting Approach to the Combination of Data Structures with Bridging Theories.

Paula Daniela Chocron Pascal Fontaine Christophe Ringeissen

Published in: FroCos (2015)

Keyphrases

data structure
theoretical framework
rewrite rules
real time
data sets
databases
computational models