| 2000 |
| Full Text | M. Hanus, F. Huch, P. Niederau.
Objectcurry,
Volume 2000-7 of Aachener Informatik-Berichte, pages 331-337, RWTH, Fachgruppe Informatik, 2000. |
| Martin Leucker.
On model checking synchronised hardware circuits,
Volume 1961 of LNCS, pages 182-198, Springer, 2000. |
| DOI | Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen.
On the Logical Characterisation of Performability Properties,
Volume 1853 of LNCS, pages 780-792, Springer, 2000. |
| Martin Leucker.
Parallel model checking for the alternation free mu-calculus,
Volume 2000,7 of Ulmer Informatik-Berichte, pages 135-140, Univ., Fak. für Informatik, 2000. |
| .
Proceedings of the 12. International Workshop on Impementation of Functional Languages: [IFL 2000],
Volume 2000,07 of Aachener Informatik-Berichte, pages 402 S. : Ill., graph. Darst., RWTH, 2000. |
| DOI | Thomas Noll, H. Vogler.
The universality of higher-order attributed tree transducers,
pages 45-75, Springer, 2000. |
| Full Text | M. Leucker, Thomas Noll.
Truth - a real-world application in Haskell,
Volume 2000,07 of Aachener Informatik-Berichte, pages 363-380, RWTH Aachen, 2000. |
| Olaf Chitil.
Type-inference based short cut deforestation (nearly) without inlining,
Volume 1868 of LNCS, pages 17-32, Springer, 2000. |
| Olaf Chitil, F. Huch, A. Simon.
Typeview,
Volume 2000-7 of Aachener Informatik-Berichte, pages 63-69, RWTH, Fachgruppe Informatik, 2000. |
| Thomas Georg Richert.
Using skeletons to implement a parallel multigrid method with overlapping adaptive grids,
CSREA Press, 2000. |
| Thomas Arts, Thomas Noll.
Verifying generic Erlang client-server implementations,
Volume 2000,08 of Aachener Informatik-Berichte, pages 26 Bl., RWTH, Fachgruppe Informatik, 2000. |
| Thomas Arts, Thomas Noll.
Verifying generic Erlang Client-Server implementations,
Volume 2000,07 of Aachener Informatik-Berichte, pages 387-402, RWTH, Fachgruppe Informatik, 2000. |
| 1999 |
| J. Köller, Markus Mohnen.
A new class of functions for abstract interpretation,
Volume 1694 of LNCS, pages 248-263, Springer, 1999. |
| DOI | Michael Hanus, Salvador Lucas.
A semantics for program analysis in narrowing-based functional logic languages,
Volume 1722 of LNCS, pages 353-368, Springer, 1999. |
| F. Huch.
Abstract interpretation of Erlang programs,
pages 63-77, ISTec, 1999. |
| O. Chitil.
Denotational semantics for teaching lazy functional programming,
Volume TR99-346 of Computer Science Technical Report, pages 27-27, Univ., 1999. |
| DOI | Michael Hanus.
Distributed programming in a multi-paradigm declarative language,
Volume 1702 of LNCS, pages 188-205, Springer, 1999. |
| J. Henriksen, M. Leucker.
Erfüllbarkeit globaler Spurlogiken mittels alternierender Automaten,
Volume 99,12 of Mathematische Schriften Kassel, pages 46-46, GhK, 1999. |
| F. Huch.
Erlang-style distributed Haskell,
Volume 1868 of LNCS, pages 103-116, Springer, 1999. |
| Markus Mohnen.
Fixed points in metrified quasi ordered sets,
Informatik aktuell, Springer, 1999. |
| .
Fundamenta Informaticae,
IOS Press, 1999. |
| Thomas Noll.
Kohärenzeigenschaften in termersetzungsbasierten Modellen für verteilte Systeme,
Volume 99,12 of Mathematische Schriften Kassel, pages 52-52, GhK, 1999. |
| T. Richert.
Management of distributed dynamic data with algorithmic skeletons,
Imperial College Press, 1999. |
| M. Leucker.
Model checking games for the alternation free mu-calculus and alternating automata,
Volume 1705 : Lecture notes in artificial intelligence of LNCS, pages 77-91, Springer, 1999. |
| Thomas Noll.
On coherence properties in term rewriting models of concurrency,
Volume 1664 of LNCS, pages 478-493, Springer, 1999. |