Petra Hofstedt
Constraint-Based Object-Oriented Programming.
IEEE Software, Vol.27, No.5, pp. 53-56, IEEE Computer Society. September/October 2010. ( link)

 

Wolfgang Jeltsch
Generic Record Combinators with Static Type Checking
In: Maribel Fernández, Temur Kutsia, Wolfgang Schreiner Proceedings of the 12th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP ’10) ACM 2010 (f pdf)

 

Petra Hofstedt
Realizing evaluation strategies by hierarchical graph rewriting.
In: Implementation of Constraint Logic Programming Systems, CICLOPS 2010. Proceedings. 2010. (f pdf)

 

Petra Hofstedt
The Multiparadigm Programming Language CCFL.
In: Klaus-Peter Fähnrich, Bogdan Franczyk (Eds.): Informatik 2010: Service Science - Neue Perspektiven für die Informatik, Beiträge der 40. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Band 2.
LNI 176, GI 2010.(f pdf)

 

König, Thomas
Interaktive Beweissysteme in verschiedenen Berechnungsmodellen.
Diplomarbeit, BTU Cottbus, Fak. f. Mathematik, Naturwissenschaften und Informatik, Februar 2010, (f pdf)

 

Wolfgang Jeltsch
Signals, Not Generators!
In: Zoltán Horváth, Viktória Zsók, Peter Achten, Pieter Koopman (Hrsg.) Proceedings of the 10th Symposium on Trends in Functional Programming (TFP ’ 09)Intellect, Bristol 2010(f pdf)