Publications

2000

Proceedings
Proceedings of the 12. International Workshop on Impementation of Functional Languages : [IFL 2000] ; Aachen, Germany, September 4th-7th 2000
RWTH
RWTH record for Proceedings of the 12. International Workshop on Impementation of Functional Languages : [IFL 2000] ; Aachen, Germany, September 4th-7th 2000 BibTeX for Proceedings of the 12. International Workshop on Impementation of Functional Languages : [IFL 2000] ; Aachen, Germany, September 4th-7th 2000

1999

Journal article
Specialization of inductively sequential functional logic programs
María Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal
SIGPLAN notices
RWTH record for Specialization of inductively sequential functional logic programs BibTeX for Specialization of inductively sequential functional logic programs
Conference paper
Distributed programming in a multi-paradigm declarative language
Michael Hanus
Principles and practice of declarative programming
RWTH record for Distributed programming in a multi-paradigm declarative language BibTeX for Distributed programming in a multi-paradigm declarative language
Conference paper
A semantics for program analysis in narrowing-based functional logic languages
Michael Hanus, Salvador Lucas
Functional and logic programming
RWTH record for A semantics for program analysis in narrowing-based functional logic languages BibTeX for A semantics for program analysis in narrowing-based functional logic languages
Conference paper
Rapid prototyping of specification language implementations
Martin Leucker, Thomas Noll
Proceedings
RWTH record for Rapid prototyping of specification language implementations BibTeX for Rapid prototyping of specification language implementations
Journal article
Verification of Erlang programs using abstract interpretation and model checking
Frank Günter Huch
SIGPLAN notices
RWTH record for Verification of Erlang programs using abstract interpretation and model checking BibTeX for Verification of Erlang programs using abstract interpretation and model checking
Journal article
Typer inference builds a short cut to deforestation
O. Chitil
SIGPLAN notices
RWTH record for Typer inference builds a short cut to deforestation BibTeX for Typer inference builds a short cut to deforestation
Conference paper
Model checking games for the alternation free mu-calculus and alternating automata
M. Leucker
Logic for programming and automated reasoning
RWTH record for Model checking games for the alternation free mu-calculus and alternating automata BibTeX for Model checking games for the alternation free mu-calculus and alternating automata
Conference paper
Fixed points in metrified quasi ordered sets : modelling escaping in functional programs
Markus Mohnen
Informatik '99
RWTH record for Fixed points in metrified quasi ordered sets : modelling escaping in functional programs BibTeX for Fixed points in metrified quasi ordered sets : modelling escaping in functional programs
Conference paper
A new class of functions for abstract interpretation
J. Köller, Markus Mohnen
Static Analysis
RWTH record for A new class of functions for abstract interpretation BibTeX for A new class of functions for abstract interpretation
Conference paper
Management of distributed dynamic data with algorithmic skeletons
T. Richert
Parallel Computing
RWTH record for Management of distributed dynamic data with algorithmic skeletons BibTeX for Management of distributed dynamic data with algorithmic skeletons
Conference paper
Truth - a verification platform for concurrent systems, tool support for system specification, development and verification
M. Lange, M. Leucker, Thomas Noll, S. Tobies
Advances in Computing Science - ASIAN '99
RWTH record for Truth - a verification platform for concurrent systems, tool support for system specification, development and verification BibTeX for Truth - a verification platform for concurrent systems, tool support for system specification, development and verification
Conference paper
On the universality of higher-order attribute grammars
Thomas Noll, H. Vogler
International Workshop Grammers, Automata, and Logic on Graphs and Trees
RWTH record for On the universality of higher-order attribute grammars BibTeX for On the universality of higher-order attribute grammars
Conference paper
On coherence properties in term rewriting models of concurrency
Thomas Noll
CONCUR '99 - Concurrency Theory
RWTH record for On coherence properties in term rewriting models of concurrency BibTeX for On coherence properties in term rewriting models of concurrency
Conference paper
Kohärenzeigenschaften in termersetzungsbasierten Modellen für verteilte Systeme
Thomas Noll
9. Theorietag der GI-Fachgruppe 0.1.5 'Automaten und Formale Sprachen'
RWTH record for Kohärenzeigenschaften in termersetzungsbasierten Modellen für verteilte Systeme BibTeX for Kohärenzeigenschaften in termersetzungsbasierten Modellen für verteilte Systeme
Conference paper
Erfüllbarkeit globaler Spurlogiken mittels alternierender Automaten
J. Henriksen, M. Leucker
9. Theorietag der GI-Fachgruppe 0.1.5 'Automaten und Formale Sprachen'
RWTH record for Erfüllbarkeit globaler Spurlogiken mittels alternierender Automaten BibTeX for Erfüllbarkeit globaler Spurlogiken mittels alternierender Automaten
Conference paper
The automata-theoretic approach works for global trace logics
J. Henriksen, M. Leucker
Proceedings of the 11. Nordic Workshop on Programming Theory
RWTH record for The automata-theoretic approach works for global trace logics BibTeX for The automata-theoretic approach works for global trace logics
Conference paper
Erlang-style distributed Haskell
F. Huch
Implementation of Functional Languages
RWTH record for Erlang-style distributed Haskell BibTeX for Erlang-style distributed Haskell
Conference paper
Abstract interpretation of Erlang programs
F. Huch
Sicherheit und Zuverlässigkeit software-basierter Systeme
RWTH record for Abstract interpretation of Erlang programs BibTeX for Abstract interpretation of Erlang programs
Conference paper
Denotational semantics for teaching lazy functional programming
O. Chitil
Proceedings of the Workshop on Functional and Declarative Programming in Education, Rice University
RWTH record for Denotational semantics for teaching lazy functional programming BibTeX for Denotational semantics for teaching lazy functional programming
Technical report
On the universality of higher-order attributed tree transducers
Thomas Noll, Heiko Vogler
RWTH record for On the universality of higher-order attributed tree transducers BibTeX for On the universality of higher-order attributed tree transducers
Book chapter
Walter Oberschelp - Lehrstuhl für angewandte Mathematik, insbesondere Informatik
K. Indermark
Angewandte Mathematik, insbesondere Informatik
RWTH record for Walter Oberschelp - Lehrstuhl für angewandte Mathematik, insbesondere Informatik BibTeX for Walter Oberschelp - Lehrstuhl für angewandte Mathematik, insbesondere Informatik
Book chapter
Semantik rekursiver Funktionsdefinitionen
K. Indermark
Angewandte Mathematik, insbesondere Informatik
RWTH record for Semantik rekursiver Funktionsdefinitionen BibTeX for Semantik rekursiver Funktionsdefinitionen
Book
Fundamenta Informaticae
IOS Press
RWTH record for Fundamenta Informaticae BibTeX for Fundamenta Informaticae
Technical report
Verification of Erlang programs using abstract interpretation and model checking - extended version
Frank Günter Huch
RWTH record for Verification of Erlang programs using abstract interpretation and model checking - extended version BibTeX for Verification of Erlang programs using abstract interpretation and model checking - extended version