TypeChef: toward type checking #ifdef variability in C.

Andy Kenner Christian Kästner Steffen Haase Thomas Leich

Published in: FOSD (2010)

Keyphrases

type checking
data types
database query languages
query processor
object model
relational calculus
abstract data types
multi dimensional
data mining
preprocessing
spatio temporal
xml documents
query processing
expressive power
database queries