back


Publications in the field of computer science:

Faßbender, Heinz ; Vogler, Heiko ; Wedel, Andrea. An abstract machine for the E-Unification with macro tree transducer, erschienen in: 7th International Workshop on Unification : 13. 06. - 14. 06. 93 / Franz Baader ... (eds.). [Boston University, Boston, USA], 1993

Faßbender, Heinz ; Wedel, Andrea. E-Unifikation mit macro tree transducer, erschienen in: 2. Arbeitstreffen Effiziente Implementierung Funktionaler Programmiersprachen / Arbeitstreffen Effiziente Implementierung Funktionaler Programmiersprachen <2, 1992, Oberjoch>. Herbert Klaeren. - Tübingen : Wilhelm-Schickard-Inst. für Informatik, Univ., 1992. - 5 S.. - ISBN: 0946-3852 Bemerkung: (WSI / Wilhelm-Schickard-Institut für Informatik ; 92,9)

H. Fassbender, H. Vogler, A. Wedel: Implementation of a Deterministic Partial E-Unification Algorithm for Macro Tree Transducers. Technischer Bericht 94-04, Universität Ulm, 1994.

A. Mößle, H. Vogler:  Efficient Call-by-value Evaluation Strategy of Primitive Recursive Program Schemes, TUD-FI95-19 - Dezember 1995

E. Ernst, F. Houdek, A. Mößle, E. Müller, H. Vogler:  Kleine Vortragsreihe mit Demonstrationen zu: NoName - Eine funktionale Programmiersprache und ihr syntaxgesteuerter Editor, Technical Report TUD-FI95-07 - 1995, Dresden University of Technology.

D. Ernst, D. Gluche, F. Houdek, A. Mößle, E. Müller, S. Sablatnög, H. Vogler und E. Wieser: Die Sprache NoName. Interner Bericht, Universität Ulm, Juli 1994.

Braxmeier, H., D. Ernst, A. Mößle, and H. Vogler: The Project NoName: A functional programming language with its development environment. Technischer Bericht 97-08, Universität Ulm, 1997.

A. Mößle and H. Vogler: Efficient Call-by-Value Evaluation Strategy of Primitive Recursive Program Schemes. Proceedings of the Fuji International Workshop in Functional and Logic Programming, Fuji Susono, Japan, World Scientific Publishing Co. Pte Ltd., 1995.

A. Mößle and H. Vogler: Efficient Call-by value Evaluation Strategy of Primitive Recursive Program Schemes. Technical Report TUD-FI95-19 - 1995, Dresden University of Technology.

H. Faßbender, A. Mößle, and H. Vogler: Implementation of a deterministic partial E-unification algorithm for macro tree transducers. Journal of Functional and Logic Programming, The MIT Press, 1996, Number 2.

A. Mößle and H. Vogler. Benefits of Hypergraphs for Program Transformation. In M. Jarke, K.Pasedach, K.Pohl (Eds.), Proceedings Informatik'97 , Reihe Informatik aktuell, Springer Verlag, 1997, S. 572-581.