Grabmüller, M., Hofstedt, P.
Turtle. A Constraint Imperative Programming Language.
Twenty-third SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence. Research and Development in Intelligent Systems XX. Springer-Verlag (f pdf) 2003.

 

Frank, St., Hofstedt, P., Mai, P.R.
Meta-S. A strategy-oriented Meta-Solver Framework.
In Russel, I., Haller, S.: Proceedings of the Sixteenth International Florida Artificial Intelligence Research Society Conference. AAAI Press (f pdf) 2003.

 

Frank, St., Hofstedt, P., Mai, P.R.
A Flexible Meta-solver Framework for Constraint Solver Collaboration.
In Günter, A., Kruse, R. and Neumann, B.: Proceedings of the 26th German Conference on Artificial Intelligence, KI'2003. Volume 2821 of LNCS. Springer-Verlag (f pdf)2003.

 

Frank, St., Hofstedt, P., Mai, P.R.
A Case Study on Termination.
In Albert Rubio (Ed.): Proceedings of the 6th International Workshop on Termination, WST'03. Technical Report DSIC-II/15/03, Departamento de Sistemas Informáticos y Computación, Universidad Politécnica de Valencia, 2003.

 

Hofstedt, P., Metzner, A
Multiple Evaluation Strategies for the Multiparadigm Programming Language Brooks. In Germán Vidal (Ed.): Proceedings of the 12th International Workshop on Functional and (Constraint) Logic Programming, WFLP'03. Technical Report DSIC-II/13/03, Departamento de Sistemas Informáticos y Computación, Universidad Politécnica de Valencia, (f pdf)2003.

 

Workshop Proceedings
Hanus, M., Hofstedt, P., Wolf, A., Abdennadher, S., Frühwirth, T., Lallouet, A. (Eds.), MultiCPL'03: Second International Workshop on Multiparadigm Constraint Programming Languages and RCoRP'03: Fifth International Workshop on Rule-Based Constraint Reasoning and Programming. Workshop Proceedings. Kinsale, Ireland, (f pdf)2003.

 

Frank, St., Grabmüller, M., Hofstedt, P., Metzner, A.
Constraints, Predicates, Functions, and a Turtle.
20. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte". (f pdf)2003.