Compile time symbolic derivation with C++ TemplatesJoseph GilZvi Gutterman1998COOTS 1998Conference paper