| 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. |
| DOI | O. Chitil. Typer inference builds a short cut to deforestation, 249-260, ACM, 1999. |
| DOI | Frank Günter Huch. Verification of Erlang programs using abstract interpretation and model checking, 261-272, ACM, 1999. |
| DOI | Martin 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. |
| DOI | Michael 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. |
| DOI | Michael 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. |
| DOI | Marí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 |
|---|
| DOI | George 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. |
| DOI | Katia Gladitz, Herbert Kuchen. Shared memory implementation of the gamma-operation, 577-591, Elsevier, 1996. |
| 1995 |
|---|
| DOI | Rita Loogen, Stephan Winkler. Dynamic detection of determinism in functional logic languages, 59-87, Elsevier, 1995. |
| 1994 |
|---|
| H. Kuchen, H. Stoltze. A data-parallel functional language for multicomputers, Parallele datenverarbeitung aktuell : [Parallelrechner-grundlagen und anwendungen] / TAT '94, parallelrechner-anwender-treffen TAT '94, aachen, 26. - 27. September 1994. R. Flieger ... hrsg., 139-148, IOS Press [u.a.], 1994. |
| M. Raus, W. Ameling. Parallel backpropagation implementation with mimd systems, Parallele datenverarbeitung aktuell : [Parallelrechner-grundlagen und anwendungen] / TAT '94, parallelrechner-anwender-treffen TAT '94, aachen, 26. - 27. September 1994. R. Flieger ... hrsg., 407-418, IOS Press [u.a.], 1994. |
| 1993 |
|---|
| H. Stoltze. Parallele funktionale Programmierung mit algorithmischen Skleletten, Graduiertenkolleg informatik und technik, 367-382, 1993. |
| DOI | Guido Hogen, Rita Loogen. Stack management of runtime structures in distributed implementations, Programming language implementation and logic programming, 416-417, 1993. |
| DOI | Rita Loogen, Francisco López Fraguas, Mario Rodríguez Artalejo. A demand-driven computation strategy for lazy narrowing, Programming language implementation and logic programming : proceedings / 5th international symposium, PLILP '93, tallinn, estonia, august 25 - 27, 1993. Maurice bruynooghe ... (eds.), 184-200, Springer, 1993. |
| DOI | Juan José Moreno-Navarro, Herbert Kuchen, Julio Mariño-Carballo, Stephan Winkler, Werner Hans. Efficient lazy narrowing using demandedness analysis, Programming language implementation and logic programming : 5th international symposium, PLILP '93 tallinn, estonia, august 25–27, 1993 proceedings / editors: Maurice bruynooghe ; jaan penjam, 167-183, 1993. |
| O. Burkart, B. Steffen. Pushdown processes: Parallel composition and model checking, 1993. |
| W. Hans, H. Kuchen, S. Winkler. Full indexing for lazy narrowing, 1993. |