For information on the authors, as far as they belong to the working
group, see the list of current and former staff.
Vladimir Támara.
Integration of restricted design spaces and partial evaluation in a
developing kernel for embedded systems.
SFB 501 Report No. 06/01, SFB 501 University of Kaiserslautern, 2002.
Abstract,
Full Paper.
Dieter Hofbauer, Christoph Kögl, Klaus E. Madlener,
and Friedrich Otto.
XSSR: An Experimental System for String Rewriting - Decision Problems,
Algorithms, and Implementation.
In A.M. Cohen, X-S. Gao, and N. Takayama, editors,
Proceedings of the 1st
International Congress of Mathematical Software, ICMS-02, pages 126-135.
World Scientific, 2002.
