Publications

1999
Thomas Noll, Heiko Vogler. On the universality of higher-order attributed tree transducers, 23 S. : graph. Darst., TU, Fak. Informatik, 1999.
O. Chitil. Denotational semantics for teaching lazy functional programming, Proceedings of the Workshop on Functional and Declarative Programming in Education, Rice University, 27-27, Univ., 1999.
F. Huch. Abstract interpretation of Erlang programs, Sicherheit und Zuverlässigkeit software-basierter Systeme : Beiträge zum GI-Workshop in Bad Honnef, 3.5.-5.5.1999 ; enthält eine Zusammenstellung der Beiträge eines gemeinsamen Workshops der beiden GI-Fachgruppen FG 2.1.4 (Alternative Konzepte für Sprachen und Rechner) und FG 3.6.2 (German ENCRESS, the German Member of the European Network of Clubs for Reliability and Safety of Software Intensive Systems) / Institut für Sicherheitstechnologie (ISTec) GmbH, Abteilung Leittechnik / Saglietti, F. [u.a.] Hrsg, 63-77, ISTec, 1999.
F. Huch. Erlang-style distributed Haskell, Implementation of Functional Languages : 11. International Workshop, IFL '99, Lochem, The Netherlands, 7.9.-10.9.1999 ; selected papers / Koopman, P. [u.a.] Hrsg, 103-116, Springer, 1999.
J. Henriksen, M. Leucker. The automata-theoretic approach works for global trace logics, Proceedings of the 11. Nordic Workshop on Programming Theory : October 1999, Uppsala, Sweden, Uppsala University, 1999.
J. Henriksen, M. Leucker. Erfüllbarkeit globaler Spurlogiken mittels alternierender Automaten, 9. Theorietag der GI-Fachgruppe 0.1.5 'Automaten und Formale Sprachen' : Schauenburg-Elmshagen bei Kassel, 27.9.-29.9.1999 / Otto, F. [u.a.] Hrsg, 46-46, GhK, 1999.
Thomas Noll. Kohärenzeigenschaften in termersetzungsbasierten Modellen für verteilte Systeme, 9. Theorietag der GI-Fachgruppe 0.1.5 'Automaten und Formale Sprachen' : Schauenburg-Elmshagen bei Kassel, 27.9.-29.9.1999 / Otto, F. [u.a.] Hrsg, 52-52, GhK, 1999.
Thomas Noll. On coherence properties in term rewriting models of concurrency, CONCUR '99 - Concurrency Theory : 10. International Conference, Eindhoven, The Netherlands, 24.8.-27.8.1999 ; Proceedings / J. C. Baeten, 478-493, Springer, 1999.
Thomas Noll, H. Vogler. On the universality of higher-order attribute grammars, International Workshop Grammers, Automata, and Logic on Graphs and Trees / Vogler, H. Hrsg, Techn. Univ., Fakultät Informatik, 1999.
M. Lange, M. Leucker, Thomas Noll, S. Tobies. Truth - a verification platform for concurrent systems, tool support for system specification, development and verification, Advances in Computing Science - ASIAN '99 : Proceedings / 5. Asian Computing Science Conference, Phuket, Thailand, 10.12.-12.12.1999 / Thiagarajan, P. S. [u.a.] Hrsg, 150-159, Springer, 1999.
T. Richert. Management of distributed dynamic data with algorithmic skeletons, Parallel Computing : Fundamentals & Applications ; Proceedings of the International Conference ParCo99 ; Delft, The Netherlands 17.8.-20.8.1999 / d'Hollander, E. H. [u.a.] Hrsg, Imperial College Press, 1999.
J. Köller, Markus Mohnen. A new class of functions for abstract interpretation, Static Analysis : 6. International Symposium, SAS '99, Venice, Italy, 22.9.-24.9.1999 ; Proceedings / Cortesi, A. [u.a.] Hrsg, 248-263, Springer, 1999.
Markus Mohnen. Fixed points in metrified quasi ordered sets : modelling escaping in functional programs, Informatik '99 : Informatik überwindet Grenzen ; 29. Jahrestagung der Gesellschaft für Informatik, Paderborn, 5.10.-9.10.1999 / Beiersdörfer, K. [u.a.] Hrsg, Springer, 1999.
M. Leucker. Model checking games for the alternation free mu-calculus and alternating automata, Logic for programming and automated reasoning : 6th International Conference, LPAR '99, Tbilisi, Georgia, September 6 - 10, 1999 ; proceedings / Harald Ganzinger ... (ed.), 77-91, Springer, 1999.
DOIO. Chitil. Typer inference builds a short cut to deforestation, 249-260, ACM, 1999.
DOIFrank Günter Huch. Verification of Erlang programs using abstract interpretation and model checking, 261-272, ACM, 1999.
DOIMartin Leucker, Thomas Noll. Rapid prototyping of specification language implementations, Proceedings / IEEE International Workshop on Rapid Systems Prototyping : June 16 - 18, 1999, Clearwater, Florida, USA / sponsored by IEEE Computer Society Technical Committee on Simulation ..., 60-65, IEEE Computer Soc., 1999.
DOIMichael Hanus, Salvador Lucas. A semantics for program analysis in narrowing-based functional logic languages, Functional and logic programming : 4th Fuji international symposium, FLOPS '99, Tsukuba, Japan, November 11 - 13, 1999 ; proceedings / Aart Middeldorp; Taisuke Sato (eds.), 353-368, Springer, 1999.
DOIMichael Hanus. Distributed programming in a multi-paradigm declarative language, Principles and practice of declarative programming : proceedings / International Conference PPDP '99, Paris, France, September 29 - October 1, 1999. Gopalan Nadathur (ed.), 188-205, Springer, 1999.
DOIMaría Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal. Specialization of inductively sequential functional logic programs, 273-283, ACM, Association for Computing Machinery Press, 1999.
1998
George Horatiu Botorog. High level parallel programming and the efficient implementation of numerical algorithms, XII, 145 S. : graph. Darst., RWTH, Fachgruppe Informatik, 1998.
1997
Markus Mohnen. Optimising the memory management of higher order functional programs, III, 145 S. : graph. Darst., RWTH, Fachgruppe Informatik, 1997.
1996
DOIGeorge Horatiu Botorog, Herbert Kuchen. Skil: An imperative language with algorithmic skeletons for efficient distributed programming, Proceedings of the Fifth IEEE International Symposium on High Performance Distributed Computing, August 6 - 9, 1996, Syracuse, New York / [HPDC-5]. Sponsored by IEEE Computer Society Technical Committee on Distributed Processing ..., 243-252, IEEE Computer Society Press, 1996.
DOIKatia Gladitz, Herbert Kuchen. Shared memory implementation of the gamma-operation, 577-591, Elsevier, 1996.
1995
DOIRita Loogen, Stephan Winkler. Dynamic detection of determinism in functional logic languages, 59-87, Elsevier, 1995.