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.