Most of the papers (or their final versions) are copyrighted by the authors or by the publisher. The papers are provided for personal use only; other uses require the explicit permission of the copyright holder!
Papers are sorted by topic.
Lightweight Declarative Server-Side Web Programming
Proc. of the 23rd International Symposium on Practical Aspects of Declarative Languages (PADL 2021), 2021
Abstract Preprint (PDF) BibTeX-Entry Online
© Springer-Verlag
An ER-based Framework for Declarative Web Programming
(with Sven Koschnicke)
Theory and Practice of Logic Programming, 2014
Abstract Preprint (PDF) BibTeX-Entry Online
© Cambridge University Press
Declarative Processing of Semistructured Web Data
Technical Communications of the 27th International Conference on Logic Programming (ICLP 2011), 2011
Abstract Preprint (PDF) BibTeX-Entry Online
Constructing a Bidirectional Transformation between BPMN and BPEL with a Functional Logic Programming Language
(with Steffen Mazanek)
Journal of Visual Languages and Computing, 2011
Abstract Preprint (PDF) BibTeX-Entry Online
© Elsevier
An ER-based Framework for Declarative Web Programming
(with Sven Koschnicke)
Proc. of the 12th International Symposium on Practical Aspects of Declarative Languages (PADL 2010), 2010
Abstract Preprint (PDF) BibTeX-Entry Online
© Springer-Verlag
Declarative Programming of User Interfaces
(with Christof Kluß)
Proc. of the 11th International Symposium on Practical Aspects of Declarative Languages (PADL'09), 2009
Abstract Preprint (PDF) BibTeX-Entry Online
© Springer-Verlag
Declarative Programming of User Interfaces
(with Christof Kluß)
Proc. of the 22th Workshop on (Constraint) Logic Programming (WLP 2008), 2008
Abstract Preprint (PDF) BibTeX-Entry
High-Level Database Programming in Curry
(with Bernd Braßel
and Marion Müller)
Proc. of the 10th International Symposium on Practical Aspects of Declarative Languages (PADL'08), 2008
Abstract Preprint (PDF) BibTeX-Entry Online
© Springer-Verlag
Compiling ER Specifications into Declarative Programs
(with Bernd Braßel
and Marion Müller)
Proc. of the 17th Workshop on Logic-based Methods in Programming Environments (WLPE'07), 2007
Abstract Preprint (PDF) BibTeX-Entry Online
Putting Declarative Programming into the Web: Translating Curry to JavaScript
Proc. of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'07), 2007
Abstract Preprint (PDF) BibTeX-Entry Online
© ACM Press
Type-Oriented Construction of Web User Interfaces
Proc. of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'06), 2006
Abstract Preprint (PDF) BibTeX-Entry Online
© ACM Press
Towards Translating Embedded Curry to C
(with Klaus Höppner
and Frank Huch)
Electronic Notes in Theoretical Computer Science (Selected papers from WFLP 2003), Vol. 86, No. 3, 2003
Abstract Preprint (PDF) BibTeX-Entry Online
An Open System to Support Web-based Learning
(with Frank Huch)
Proc. of the 12th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2003), 2003
Abstract Preprint (PDF) BibTeX-Entry
Programming Autonomous Robots in Curry
(with Klaus Höppner)
Electronic Notes in Theoretical Computer Science (Selected papers from WFLP 2002), Vol. 76, 2002
Abstract Preprint (PDF) BibTeX-Entry Online
High-Level Server Side Web Scripting in Curry
Proc. of the Third International Symposium on Practical Aspects of Declarative Languages (PADL'01), 2001
Abstract Preprint (PDF) BibTeX-Entry Online
© Springer-Verlag
A Functional Logic Programming Approach to Graphical User Interfaces
Proc. of the Second International Workshop on Practical Aspects of Declarative Languages (PADL'00), 2000
Abstract Preprint (PDF) BibTeX-Entry Online
© Springer-Verlag
A Typeful Integration of SQL into Curry
(with Julia Krone)
Proceedings of the 24th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2016), 2017
Abstract Preprint (PDF) BibTeX-Entry Online
An ER-based Framework for Declarative Web Programming
(with Sven Koschnicke)
Proc. of the 12th International Symposium on Practical Aspects of Declarative Languages (PADL 2010), 2010
Abstract Preprint (PDF) BibTeX-Entry Online
© Springer-Verlag
High-Level Database Programming in Curry
(with Bernd Braßel
and Marion Müller)
Proc. of the 10th International Symposium on Practical Aspects of Declarative Languages (PADL'08), 2008
Abstract Preprint (PDF) BibTeX-Entry Online
© Springer-Verlag
Compiling ER Specifications into Declarative Programs
(with Bernd Braßel
and Marion Müller)
Proc. of the 17th Workshop on Logic-based Methods in Programming Environments (WLPE'07), 2007
Abstract Preprint (PDF) BibTeX-Entry Online
Dynamic Predicates in Functional Logic Programs
Journal of Functional and Logic Programming, 2004
Abstract Preprint (PDF) BibTeX-Entry
Contracts and Specifications for Functional Logic Programming
(with Sergio Antoy)
Proc. of the 14th International Symposium on Practical Aspects of Declarative Languages (PADL 2012), 2012
Abstract Preprint (PDF) BibTeX-Entry Online
© Springer-Verlag
Contracts and Specifications for Functional Logic Programming
(with Sergio Antoy)
21st Workshop on Logic-based Methods in Programming Environments (WLPE 2011), 2011
Abstract Preprint (PDF) BibTeX-Entry
Lazy and Enforceable Assertions for Functional Logic Programs
Proc. of the 19th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2010), 2011
Abstract Preprint (PDF) BibTeX-Entry Online
© Springer-Verlag
A Transformation Tool for Functional Logic Program Development
(with Sergio Antoy)
Proc. of the 24th Workshop on (Constraint) Logic Programming (WLP 2010), 2010
Abstract Preprint (PDF) BibTeX-Entry
Lazy and Faithful Assertions for Functional Logic Programs
Proc. of the 19th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2010), 2010
Abstract Preprint (PDF) BibTeX-Entry
Lazy Call-By-Value Evaluation
(with Bernd Braßel
and Sebastian Fischer
and Frank Huch
and Germán Vidal)
Proc. of the International Conference on Functional Programming (ICFP 2007), 2007
Abstract Preprint (PDF) BibTeX-Entry Online
© ACM Press
Reporting Failures in Functional Logic Programs
Electronic Notes in Theoretical Computer Science, Vol. 177, 2007
Abstract BibTeX-Entry Online
Reporting Failures in Functional Logic Programs
Proc. of the 15th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2006), 2006
Abstract Preprint (PDF) BibTeX-Entry
Run-Time Profiling of Functional Logic Programs
(with Bernd Braßel
and Frank Huch
and Josep Silva
and Germán Vidal)
Proceedings of the International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'04), 2005
Abstract Preprint (PDF) BibTeX-Entry Online
© Springer-Verlag
A Semantics for Tracing Declarative Multi-Paradigm Programs
(with Bernd Braßel
and Frank Huch
and Germán Vidal)
Proc. of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'04), 2004
Abstract Preprint (PDF) BibTeX-Entry Online
© ACM Press
Observing Functional Logic Computations
(with Bernd Braßel
and Olaf Chitil
and Frank Huch)
Proc. of the Sixth International Symposium on Practical Aspects of Declarative Languages (PADL'04), 2004
Abstract Preprint (PDF) BibTeX-Entry Online
© Springer-Verlag
A Debugging Model for Functional Logic Programs
(with Berthold Josephs)
5th International Symposium on Programming Language Implementation and Logic Programming (PLILP'93), 1993
Abstract Preprint (PDF) BibTeX-Entry Online
© Springer-Verlag
An Open System to Support Web-based Learning
(with Frank Huch)
Proc. of the 12th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2003), 2003
Abstract Preprint (PDF) BibTeX-Entry
Towards Translating Embedded Curry to C
(with Klaus Höppner
and Frank Huch)
Electronic Notes in Theoretical Computer Science (Selected papers from WFLP 2003), Vol. 86, No. 3, 2003
Abstract Preprint (PDF) BibTeX-Entry Online
Programming Autonomous Robots in Curry
(with Klaus Höppner)
Electronic Notes in Theoretical Computer Science (Selected papers from WFLP 2002), Vol. 76, 2002
Abstract Preprint (PDF) BibTeX-Entry Online
Can Logic Programming Be Liberated from Predicates and Backtracking?
Proc. of the 38th Workshop on(Constraint) Logic Programming (WLP 2024), 2024
Abstract Preprint (PDF) BibTeX-Entry
Improving Logic Programs by Adding Functions (LOPSTR 2024 Best Paper Award)
Proceedings of the 34th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2024), 2024
Abstract Preprint (PDF) BibTeX-Entry Online
© Springer-Verlag
From Logic to Functional Logic Programs
Theory and Practice of Logic Programming, 2022
Abstract Preprint (PDF) BibTeX-Entry Online
A Monadic Implementation of Functional Logic Programs
(with Kai-Oliver Prott
and Finn Teegen)
Proc. of the 24th International Symposium on Principles and Practice of Declarative Programming (PPDP 2022), 2022
Abstract Preprint (PDF) BibTeX-Entry Online
© ACM Press
From Logic to Functional Logic Programs
Pre-Proceedings of the 38th International Conference on Logic Programming (ICLP 2022), 2022
Abstract Preprint (PDF) BibTeX-Entry Online
Can Logic Programming Be Liberated from Backtracking?
Tagungsband zum 21. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2021), 2021
Abstract Preprint (PDF) BibTeX-Entry Online
From Non-determinism to Goroutines: A Fair Implementation of Curry in Go
(with Jonas Böhm
and Finn Teegen)
Proc. of the 23rd International Symposium on Principles and Practice of Declarative Programming (PPDP 2021), 2021
Abstract Preprint (PDF) BibTeX-Entry Online
© ACM Press
Memoized Pull-Tabbing for Functional Logic Programming
(with Finn Teegen)
Proceedings of the 28th International Workshop on Functional and Constraint Logic Programming (WFLP 2020), 2021
Abstract Preprint (PDF) BibTeX-Entry Online
© Springer-Verlag
Memoized Pull-Tabbing for Functional Logic Programming
(with Finn Teegen)
Pre-Proceedings of the 28th International Workshop on Functional and Logic Programming (WFLP 2020), 2020
Abstract Preprint (PDF) BibTeX-Entry Online
Adding Data to Curry
(with Finn Teegen)
Proceedings of the Conference on Declarative Programming (DECLARE 2019), 2020
Abstract Preprint (PDF) BibTeX-Entry Online
© Springer-Verlag
ICurry
(with Sergio Antoy
and Andy Jost
and Steven Libby)
Proceedings of the Conference on Declarative Programming (DECLARE 2019), 2020
Abstract Preprint (PDF) BibTeX-Entry Online
© Springer-Verlag
Adding Data to Curry
(with Finn Teegen)
Pre-Proceedings of the 27th International Workshop on Functional and Logic Programming (WFLP 2019), 2019
Abstract Preprint (PDF) BibTeX-Entry Online
ICurry
(with Sergio Antoy
and Andy Jost
and Steven Libby)
Pre-Proceedings of the 27th International Workshop on Functional and Logic Programming (WFLP 2019), 2019
Abstract Preprint (PDF) BibTeX-Entry Online
Synthesizing Set Functions
(with Sergio Antoy
and Finn Teegen)
Long version of a paper appeared in Proceedings of the 26th International Workshop on Functional and Logic Programming (WFLP 2018), 2019
Abstract Preprint (PDF) BibTeX-Entry Online
© Springer-Verlag
Improving Residuation in Declarative Programs
Long version of a paper appeared in Proc. of the 21st International Symposium on Practical Aspects of Declarative Languages (PADL 2019), 2019
Abstract Preprint (PDF) BibTeX-Entry Online
© Springer-Verlag
Synthesizing Set Functions
(with Sergio Antoy
and Finn Teegen)
Pre-Proceedings of the 26th International Workshop on Functional and Logic Programming (WFLP 2018), 2018
Abstract Preprint (PDF) BibTeX-Entry Online
Equivalence Checking of Non-deterministic Operations
(with Sergio Antoy)
Proc. of the 14th International Symposium on Functional and Logic Programming (FLOPS 2018), 2018
Abstract Preprint (PDF) BibTeX-Entry Online
© Springer-Verlag
CPM: A Declarative Package Manager with Semantic Versioning
(with Jonas Oberschweiber)
Pre-Proceedings of the Conference on Declarative Programming (Declare 2017), 2017
Abstract Preprint (PDF) BibTeX-Entry
Semantic Versioning Checking in a Declarative Package Manager
Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017), 2017
Abstract Preprint (PDF) BibTeX-Entry Online
CurryCheck: Checking Properties of Curry Programs
Proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016), 2017
Abstract Preprint (PDF) BibTeX-Entry Online
Transforming Boolean Equalities into Constraints
(with Sergio Antoy)
Formal Aspects of Computing, 2017
Abstract Preprint (PDF) BibTeX-Entry Online
Default Rules for Curry
(with Sergio Antoy)
Theory and Practice of Logic Programming, 2017
Abstract BibTeX-Entry Online
Eliminating Irrelevant Non-determinism in Functional Logic Programs
(with Sergio Antoy)
Long version of a paper appeared in Proc. of the 19th International Symposium on Practical Aspects of Declarative Languages (PADL 2017), 2017
Abstract Preprint (PDF) BibTeX-Entry Online
A Typeful Integration of SQL into Curry
(with Julia Krone)
Proceedings of the 24th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2016), 2017
Abstract Preprint (PDF) BibTeX-Entry Online
CurryCheck: Checking Properties of Curry Programs
Pre-Proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016), 2016
Abstract Preprint (PDF) BibTeX-Entry Online
A Parser Generator System for Level-based Programming Languages
(with Jan Rasmus Tikovsky)
Proc. of the 9th Working Conference on Programming Languages (ATPS 2016), 2016
Abstract Preprint (PDF) BibTeX-Entry Online
Default Rules for Curry
(with Sergio Antoy)
Proc. of the 18th International Symposium on Practical Aspects of Declarative Languages (PADL 2016), 2016
Abstract Preprint (PDF) BibTeX-Entry Online
Default Rules in Functional Logic Programs
(with Sergio Antoy)
Proc. of the 29th Workshop on(Constraint) Logic Programming (WLP 2015), 2015
Abstract Preprint (PDF) BibTeX-Entry
From Boolean Equalities to Constraints
(with Sergio Antoy)
Proceedings of the 25th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2015), 2015
Abstract Preprint (PDF) BibTeX-Entry Online
CHR(Curry): Interpretation and Compilation of Constraint Handling Rules in Curry
Proc. of the 17th International Symposium on Practical Aspects of Declarative Languages (PADL 2015), 2015
Abstract Preprint (PDF) BibTeX-Entry Online
© Springer-Verlag
Curry without Success
(with Sergio Antoy)
Proc. of the 23rd International Workshop on Functional and (Constraint) Logic Programming (WFLP 2014), 2014
Abstract Preprint (PDF) BibTeX-Entry Online
Integration of Finite Domain Constraints in KiCS2
(with Björn Peemöller
and Jan Rasmus Tikovsky)
Proc. of the 7th Working Conference on Programming Languages (ATPS 2014), 2014
Abstract Preprint (PDF) BibTeX-Entry Online
A Modular and Generic Analysis Server System for Functional Logic Programs
(with Fabian Sklrac)
Proc. of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation (PEPM'14), 2014
Abstract Preprint (PDF) BibTeX-Entry Online
© ACM Press
Adding Plural Arguments to Curry Programs
Technical Communications of the 29th International Conference on Logic Programming (ICLP 2013), 2013
Abstract Preprint (PDF) BibTeX-Entry Online
A Generic Analysis Server System for Functional Logic Programs
(with Fabian Reck)
Proc. of the 13th International Colloquium on Implementation of Constraint and Logic Programming Systems (CICLOPS 2013)}, 2013
Abstract Preprint (PDF) BibTeX-Entry Online
Implementing Equational Constraints in a Functional Language
(with Bernd Braßel
and Björn Peemöller
and Fabian Reck)
Proc. of the 15th International Symposium on Practical Aspects of Declarative Languages (PADL 2013), 2013
Abstract Preprint (PDF) BibTeX-Entry Online
© Springer-Verlag
Xbase: Implementing Domain-Specific Languages for Java
(with Sven Efftinge
and Moritz Eysholdt
and Jan Köhnlein
and Sebastian Zarnekow
and Robert von Massow
and Wilhelm Hasselbring)
Proc. of the 11th International Conference on Generative Programming and Component Engineering (GPCE'12), 2012
Abstract Preprint (PDF) BibTeX-Entry Online
© ACM Press
Improving Lazy Non-Deterministic Computations by Demand Analysis
Technical Communications of the 28th International Conference on Logic Programming (ICLP 2012), 2012
Abstract Preprint (PDF) BibTeX-Entry Online
Search Strategies for Functional Logic Programming
(with Björn Peemöller
and Fabian Reck)
Proc. of the 5th Working Conference on Programming Languages (ATPS 2012), 2012
Abstract Preprint (PDF) BibTeX-Entry Online
© Springer-Verlag
Implementing Equational Constraints in a Functional Language
(with Bernd Braßel
and Björn Peemöller
and Fabian Reck)
Proc. of the 19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011) and the 25th Workshop on Logic Programming (WLP 2011), 2011
Abstract Preprint (PDF) BibTeX-Entry Online
KiCS2: A New Compiler from Curry to Haskell
(with Bernd Braßel
and Björn Peemöller
and Fabian Reck)
Proc. of the 20th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2011), 2011
Abstract Preprint (PDF) BibTeX-Entry Online
© Springer-Verlag
Transforming Functional Logic Programs into Monadic Functional Programs
(with Bernd Braßel
and Sebastian Fischer
and Fabian Reck)
Proc. of the 19th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2010), 2011
Abstract Preprint (PDF) BibTeX-Entry Online
© Springer-Verlag
Transforming Functional Logic Programs into Monadic Functional Programs
(with Bernd Braßel
and Sebastian Fischer
and Fabian Reck)
Proc. of the 19th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2010), 2010
Abstract Preprint (PDF) BibTeX-Entry
Reporting Failures in Functional Logic Programs
Electronic Notes in Theoretical Computer Science, Vol. 177, 2007
Abstract BibTeX-Entry Online
Reporting Failures in Functional Logic Programs
Proc. of the 15th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2006), 2006
Abstract Preprint (PDF) BibTeX-Entry
Adding Constraint Handling Rules to Curry
Proc. of the 20th Workshop on Logic Programming (WLP 2006), 2006
Abstract Preprint (PDF) BibTeX-Entry
A Virtual Machine for Functional Logic Computations
(with Sergio Antoy
and Jimeng Liu
and Andrew Tolmach)
Proc. of the 16th International Workshop on Implementation and Application of Functional Languages (IFL 2004), 2005
Abstract Preprint (PDF) BibTeX-Entry Online
© Springer-Verlag
An Implementation of Narrowing Strategies
(with Sergio Antoy
and Bart Massey
and Frank Steiner)
Proc. of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'01), 2001
Abstract Preprint (PDF) BibTeX-Entry Online
© ACM Press
An Object-Oriented Extension of the Declarative Multi-Paradigm Language Curry
(with Frank Huch
and Philipp Niederau)
Proc. of the 12th International Workshop on Implementation of Functional Languages (IFL 2000), 2001
Abstract Preprint (PDF) BibTeX-Entry Online
© Springer-Verlag
Compiling Multi-Paradigm Declarative Programs into Prolog
(with Sergio Antoy)
Proc. of the 3rd International Workshop on Frontiers of Combining Systems (FroCoS 2000), 2000
Abstract Preprint (PDF) BibTeX-Entry Online
© Springer-Verlag
An Abstract Machine for Curry and its Concurrent Implementation in Java
(with Ramin Sadre)
Journal of Functional and Logic Programming, 1999
Abstract Preprint (PDF) BibTeX-Entry
A Concurrent Implementation of Curry in Java
(with Ramin Sadre)
Proc. ILPS'97 Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programming Languages, 1997
Abstract Preprint (PDF) BibTeX-Entry
Revised and extended version
Efficient Translation of Lazy Functional Logic Programs into Prolog
Fifth International Workshop on Logic Program Synthesis and Transformation (LOPSTR'95), 1995
Abstract Preprint (PDF) BibTeX-Entry Online
© Springer-Verlag
The Integration of Functions into Logic Programming: From Theory to Practice
Journal of Logic Programming, 1994
Abstract Preprint (PDF) BibTeX-Entry Online
Towards the Global Optimization of Functional Logic Programs
Proc. 5th International Conference on Compiler Construction, 1994
Abstract Preprint (PDF) BibTeX-Entry Online
© Springer-Verlag
Incremental Rewriting in Narrowing Derivations
Proc. of the 3rd International Conference on Algebraic and Logic Programming (ALP'92), 1992
Abstract Preprint (PDF) BibTeX-Entry Online
© Springer-Verlag
Efficient Implementation of Narrowing and Rewriting
Proc. International Workshop on Processing Declarative Knowledge (PDK'91), 1991
Abstract Preprint (PDF) BibTeX-Entry Online
© Springer-Verlag
Compiling Logic Programs with Equality
2nd International Workshop on Programming Language Implementation and Logic Programming (PLILP'90), 1990
Abstract Preprint (PDF) BibTeX-Entry Online
© Springer-Verlag
Formal Specification of a Prolog Compiler
International Workshop on Programming Language Implementation and Logic Programming (PLILP'88), 1988
Abstract Preprint (PDF) BibTeX-Entry Online
© Springer-Verlag
Modular Logic Programming of Compilers
(with Harald Ganzinger)
Proc. of the IEEE International Symposium on Logic Programming (SLP'85), 1985
Abstract BibTeX-Entry
A Partial Evaluator for Curry
(with Björn Peemöller)
Proc. of the 23rd International Workshop on Functional and (Constraint) Logic Programming (WFLP 2014), 2014
Abstract Preprint (PDF) BibTeX-Entry
Specialization of Functional Logic Programs Based on Needed Narrowing
(with María Alpuente
and Salvador Lucas
and Germán Vidal)
Theory and Practice of Logic Programming, 2005
Abstract Preprint (PDF) BibTeX-Entry Online
A Residualizing Semantics for the Partial Evaluation of Functional Logic Programs
(with Elvira Albert
and Germán Vidal)
Information Processing Letters, 2003
Abstract Preprint (PDF) BibTeX-Entry Online
© Elsevier
A Practical Partial Evaluation Scheme for Multi-Paradigm Declarative Languages
(with Elvira Albert
and Germán Vidal)
Journal of Functional and Logic Programming, 2002
Abstract Preprint (PDF) BibTeX-Entry
© EAPLS
A Practical Partial Evaluator for a Multi-Paradigm Declarative Language
(with Elvira Albert
and Germán Vidal)
Proc. of the 5th International Symposium on Functional and Logic Programming (FLOPS 2001), 2001
Abstract Preprint (PDF) BibTeX-Entry Online
© Springer-Verlag
Using an Abstract Representation to Specialize Functional Logic Programs
(with Elvira Albert
and Germán Vidal)
Proc. of the 7th International Conference on Logic for Programming and Automated Reasoning (LPAR'2000), 2000
Abstract Preprint (PDF) BibTeX-Entry Online
© Springer-Verlag
A Partial Evaluation Framework for Curry Programs
(with Elvira Albert
and María Alpuente
and Germán Vidal)
Proc. of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR'99), 1999
Abstract Preprint (PDF) BibTeX-Entry Online
© Springer-Verlag
Specialization of Inductively Sequential Functional Logic Programs
(with María Alpuente
and Salvador Lucas
and Germán Vidal)
Proc. of the International Conference on Functional Programming (ICFP'99), 1999
Abstract Preprint (PDF) BibTeX-Entry Online
© ACM Press
Hybrid Verification of Declarative Programs with Arithmetic Non-fail Conditions
Proc. of the 22nd Asian Symposium on Programming Languages and Systems (APLAS 2024), 2024
Abstract Preprint (PDF) BibTeX-Entry Online
© Springer-Verlag
Can Logic Programming Be Liberated from Predicates and Backtracking?
Proc. of the 38th Workshop on(Constraint) Logic Programming (WLP 2024), 2024
Abstract Preprint (PDF) BibTeX-Entry
Improving Logic Programs by Adding Functions (LOPSTR 2024 Best Paper Award)
Proceedings of the 34th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2024), 2024
Abstract Preprint (PDF) BibTeX-Entry Online
© Springer-Verlag
Inferring Non-Failure Conditions for Declarative Programs
Proc. of the 17th International Symposium on Functional and Logic Programming (FLOPS 2024), 2024
Abstract Preprint (PDF) BibTeX-Entry Online
© Springer-Verlag
Automated Verification of Fail-Free Declarative Programs
Tagungsband zum 22. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2023), 2023
Abstract Preprint (PDF) BibTeX-Entry Online
Transforming Boolean Equalities into Constraints
(with Sergio Antoy)
Formal Aspects of Computing, 2017
Abstract Preprint (PDF) BibTeX-Entry Online
Eliminating Irrelevant Non-determinism in Functional Logic Programs
(with Sergio Antoy)
Long version of a paper appeared in Proc. of the 19th International Symposium on Practical Aspects of Declarative Languages (PADL 2017), 2017
Abstract Preprint (PDF) BibTeX-Entry Online
From Boolean Equalities to Constraints
(with Sergio Antoy)
Proceedings of the 25th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2015), 2015
Abstract Preprint (PDF) BibTeX-Entry Online
A Modular and Generic Analysis Server System for Functional Logic Programs
(with Fabian Sklrac)
Proc. of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation (PEPM'14), 2014
Abstract Preprint (PDF) BibTeX-Entry Online
© ACM Press
A Generic Analysis Server System for Functional Logic Programs
(with Fabian Reck)
Proc. of the 13th International Colloquium on Implementation of Constraint and Logic Programming Systems (CICLOPS 2013)}, 2013
Abstract Preprint (PDF) BibTeX-Entry Online
Improving Lazy Non-Deterministic Computations by Demand Analysis
Technical Communications of the 28th International Conference on Logic Programming (ICLP 2012), 2012
Abstract Preprint (PDF) BibTeX-Entry Online
Call Pattern Analysis for Functional Logic Programs
Proc. of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'08), 2008
Abstract Preprint (PDF) BibTeX-Entry Online
© ACM Press
CurryBrowser: A Generic Analysis Environment for Curry Programs
Proc. of the 16th Workshop on Logic-based Methods in Programming Environments (WLPE'06), 2006
Abstract Preprint (PDF) BibTeX-Entry
Nondeterminism Analysis of Functional Logic Programs
(with Bernd Braßel)
International Conference on Logic Programming (ICLP'05), 2005
Abstract Preprint (PDF) BibTeX-Entry Online
© Springer-Verlag
A Generic Analysis Environment for Declarative Programs
Proc. of the International Workshop on Curry and Functional Logic Programming (WCFLP 2005), 2005
Abstract Preprint (PDF) BibTeX-Entry Online
© ACM Press
An Integrated Development Environment for Declarative Multi-Paradigm Programming
(with Johannes Koj)
Proc. of the Eleventh Workshop on Logic Programming Environments (WLPE'01), 2001
Abstract Preprint (PDF) BibTeX-Entry Online
An Evaluation Semantics for Narrowing-Based Functional Logic Languages
(with Salvador Lucas)
Journal of Functional and Logic Programming, 2001
Abstract Preprint (PDF) BibTeX-Entry
© EAPLS
Type-based Nondeterminism Checking in Functional Logic Programs
(with Frank Steiner)
Proc. of the 2nd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP 2000), 2000
Abstract Preprint (PDF) BibTeX-Entry Online
© ACM Press
A Semantics for Program Analysis in Narrowing-Based Functional Logic Languages
(with Salvador Lucas)
Proc. of the 4th Fuji International Symposium on Functional and Logic Programming (FLOPS'99), 1999
Abstract Preprint (PDF) BibTeX-Entry Online
© Springer-Verlag
Analysis of Residuating Logic Programs
Journal of Logic Programming, 1995
Abstract Preprint (PDF) BibTeX-Entry Online
Compile-Time Analysis of Nonlinear Constraints in CLP(R)
New Generation Computing, 1995
Abstract Preprint (PDF) BibTeX-Entry Online
Mode Analysis of Functional Logic Programs
(with Frank Zartmann)
First International Static Analysis Symposium (SAS'94), 1994
Abstract Preprint (PDF) BibTeX-Entry Online
© Springer-Verlag
Analysis of Nonlinear Constraints in CLP(R)
Proc. Tenth International Conference on Logic Programming (ICLP'93), 1993
Abstract Preprint (PDF) BibTeX-Entry
On the Completeness of Residuation
Proc. Joint International Conference and Symposium on Logic Programming (JICSLP'92), 1992
Abstract Preprint (PDF) BibTeX-Entry
Adding Data to Curry
(with Finn Teegen)
Proceedings of the Conference on Declarative Programming (DECLARE 2019), 2020
Abstract Preprint (PDF) BibTeX-Entry Online
© Springer-Verlag
Adding Data to Curry
(with Finn Teegen)
Pre-Proceedings of the 27th International Workshop on Functional and Logic Programming (WFLP 2019), 2019
Abstract Preprint (PDF) BibTeX-Entry Online
Transforming Boolean Equalities into Constraints
(with Sergio Antoy)
Formal Aspects of Computing, 2017
Abstract Preprint (PDF) BibTeX-Entry Online
Default Rules for Curry
(with Sergio Antoy)
Theory and Practice of Logic Programming, 2017
Abstract BibTeX-Entry Online
Eliminating Irrelevant Non-determinism in Functional Logic Programs
(with Sergio Antoy)
Long version of a paper appeared in Proc. of the 19th International Symposium on Practical Aspects of Declarative Languages (PADL 2017), 2017
Abstract Preprint (PDF) BibTeX-Entry Online
Proving Non-Deterministic Computations in Agda
(with Sergio Antoy
and Steven Libby)
Proceedings of the 24th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2016), 2017
Abstract Preprint (PDF) BibTeX-Entry Online
Default Rules for Curry
(with Sergio Antoy)
Proc. of the 18th International Symposium on Practical Aspects of Declarative Languages (PADL 2016), 2016
Abstract Preprint (PDF) BibTeX-Entry Online
Default Rules in Functional Logic Programs
(with Sergio Antoy)
Proc. of the 29th Workshop on(Constraint) Logic Programming (WLP 2015), 2015
Abstract Preprint (PDF) BibTeX-Entry
From Boolean Equalities to Constraints
(with Sergio Antoy)
Proceedings of the 25th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2015), 2015
Abstract Preprint (PDF) BibTeX-Entry Online
Curry without Success
(with Sergio Antoy)
Proc. of the 23rd International Workshop on Functional and (Constraint) Logic Programming (WFLP 2014), 2014
Abstract Preprint (PDF) BibTeX-Entry Online
A Semantics for Weakly Encapsulated Search in Functional Logic Programs
(with Jan Christiansen
and Fabian Reck
and Daniel Seidel)
Proc. of the 15th International Symposium on Principles and Practice of Declarative Programming (PPDP'13), 2013
Abstract Preprint (PDF) BibTeX-Entry Online
© ACM Press
Adding Plural Arguments to Curry Programs
Technical Communications of the 29th International Conference on Logic Programming (ICLP 2013), 2013
Abstract Preprint (PDF) BibTeX-Entry Online
Functional Logic Programming: From Theory to Curry
Programming Logics - Essays in Memory of Harald Ganzinger, 2013
Abstract Preprint (PDF) BibTeX-Entry Online
© Springer-Verlag
Set Functions for Functional Logic Programming
(with Sergio Antoy)
Proc. of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'09), 2009
Abstract Preprint (PDF) BibTeX-Entry Online
© ACM Press
Lazy Call-By-Value Evaluation
(with Bernd Braßel
and Sebastian Fischer
and Frank Huch
and Germán Vidal)
Proc. of the International Conference on Functional Programming (ICFP 2007), 2007
Abstract Preprint (PDF) BibTeX-Entry Online
© ACM Press
Multi-paradigm Declarative Languages
International Conference on Logic Programming (ICLP 2007), 2007
Abstract Preprint (PDF) BibTeX-Entry Online
© Springer-Verlag
Overlapping Rules and Logic Variables in Functional Logic Programs
(with Sergio Antoy)
International Conference on Logic Programming (ICLP 2006), 2006
Abstract Preprint (PDF) BibTeX-Entry Online
© Springer-Verlag
Declarative Programming with Function Patterns
(with Sergio Antoy)
Proceedings of the International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'05), 2006
Abstract Preprint (PDF) BibTeX-Entry Online
Operational Semantics for Declarative Multi-Paradigm Languages
(with Elvira Albert
and Frank Huch
and Javier Oliver
and Germán Vidal)
Journal of Symbolic Computation, 2005
Abstract Preprint (PDF) BibTeX-Entry Online
Encapsulating Non-Determinism in Functional Logic Computations
(with Bernd Braßel
and Frank Huch)
Journal of Functional and Logic Programming, 2004
Abstract Preprint (PDF) BibTeX-Entry
A Semantics for Tracing Declarative Multi-Paradigm Programs
(with Bernd Braßel
and Frank Huch
and Germán Vidal)
Proc. of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'04), 2004
Abstract Preprint (PDF) BibTeX-Entry Online
© ACM Press
Conditional Narrowing without Conditions
(with Sergio Antoy
and Bernd Braßel)
Proc. of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'03), 2003
Abstract Preprint (PDF) BibTeX-Entry Online
© ACM Press
A Residualizing Semantics for the Partial Evaluation of Functional Logic Programs
(with Elvira Albert
and Germán Vidal)
Information Processing Letters, 2003
Abstract Preprint (PDF) BibTeX-Entry Online
© Elsevier
An Operational Semantics for Functional Logic Languages
(with Elvira Albert
and Frank Huch
and Javier Oliver
and Germán Vidal)
Electronic Notes in Theoretical Computer Science (Selected papers from WFLP 2002), Vol. 76, 2002
Abstract Preprint (PDF) BibTeX-Entry Online
An Operational Semantics for Declarative Multi-Paradigm Languages
(with Elvira Albert
and Frank Huch
and Javier Oliver
and Germán Vidal)
Electronic Notes in Theoretical Computer Science (Selected papers from WRS 2002), Vol. 70(6), 2002
Abstract Preprint (PDF) BibTeX-Entry Online
An Operational Semantics for Declarative Multi-Paradigm Languages
(with Elvira Albert
and Frank Huch
and Javier Oliver
and Germán Vidal)
Proc. of the 11th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2002), 2002
Abstract Preprint (PDF) BibTeX-Entry
Reduction Strategies for Declarative Programming
Electronic Notes in Theoretical Computer Science 57, 2001
Abstract Preprint (PDF) BibTeX-Entry Online
An Evaluation Semantics for Narrowing-Based Functional Logic Languages
(with Salvador Lucas)
Journal of Functional and Logic Programming, 2001
Abstract Preprint (PDF) BibTeX-Entry
© EAPLS
A Needed Narrowing Strategy
(with Sergio Antoy
and Rachid Echahed)
Journal of the ACM, 2000
Abstract Preprint (PDF) BibTeX-Entry Online
© ACM Press
A Semantics for Program Analysis in Narrowing-Based Functional Logic Languages
(with Salvador Lucas)
Proc. of the 4th Fuji International Symposium on Functional and Logic Programming (FLOPS'99), 1999
Abstract Preprint (PDF) BibTeX-Entry Online
© Springer-Verlag
Distributed Programming in a Multi-Paradigm Declarative Language
Proc. of the International Conference on Principles and Practice of Declarative Programming (PPDP'99), 1999
Abstract Preprint (PDF) BibTeX-Entry Online
© Springer-Verlag
I suggest to read this version rather than the version in the proceedings since the latter has been reformatted (without asking me) in a bad style!
Higher-Order Narrowing with Definitional Trees
(with Christian Prehofer)
Journal of Functional Programming, 1999
Abstract Preprint (PDF) BibTeX-Entry Online
Controlling Search in Declarative Programs
(with Frank Steiner)
Principles of Declarative Programming (Proc. Joint International Symposium PLILP/ALP'98), 1998
Abstract Preprint (PDF) BibTeX-Entry Online
© Springer-Verlag
Strongly sequential and inductively sequential term rewriting systems
(with Salvador Lucas
and Aart Middeldorp)
Information Processing Letters, 1998
Abstract Preprint (PDF) BibTeX-Entry Online
© Elsevier
Parallel Evaluation Strategies for Functional Logic Languages
(with Sergio Antoy
and Rachid Echahed)
International Conference on Logic Programming (ICLP'97), 1997
Abstract Preprint (PDF) BibTeX-Entry
A Unified Computation Model for Declarative Programming
1997 Joint Conference on Declarative Programming (APPIA-GULP-PRODE'97), 1997
Abstract Preprint (PDF) BibTeX-Entry
Lazy Narrowing with Simplification
Journal of Computer Languages, 1997
Abstract Preprint (PDF) BibTeX-Entry Online
A Unified Computation Model for Functional and Logic Programming
Proc. of the 24th Annual SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'97), 1997
Abstract Preprint (PDF) BibTeX-Entry Online
© ACM Press
Higher-Order Narrowing with Definitional Trees
(with Christian Prehofer)
Seventh International Conference on Rewriting Techniques and Applications (RTA'96), 1996
Abstract Preprint (PDF) BibTeX-Entry Online
© Springer-Verlag
Revised and extended version
A Denotational Semantics for Needed Narrowing
(with Salvador Lucas)
Proc. of the 1996 Joint Conference on Declarative Programming (APPIA-GULP-PRODE'96), 1996
Abstract Preprint (PDF) BibTeX-Entry
© Springer-Verlag
Revised and extended version
Curry: A Truly Functional Logic Language
(with Herbert Kuchen
and Juan Jose Moreno-Navarro)
ILPS'95 Workshop on Visions for the Future of Logic Programming, 1995
Abstract Preprint (PDF) BibTeX-Entry
On Extra Variables in (Equational) Logic Programming
International Conference on Logic Programming (ICLP'95), 1995
Abstract Preprint (PDF) BibTeX-Entry
The Integration of Functions into Logic Programming: From Theory to Practice
Journal of Logic Programming, 1994
Abstract Preprint (PDF) BibTeX-Entry Online
Combining Lazy Narrowing and Simplification
6th International Symposium on Programming Language Implementation and Logic Programming (PLILP'94), 1994
Abstract Preprint (PDF) BibTeX-Entry Online
© Springer-Verlag
Lazy Unification with Simplification
Proc. 5th European Symposium on Programming (ESOP'94), 1994
Abstract Preprint (PDF) BibTeX-Entry Online
© Springer-Verlag
A Needed Narrowing Strategy
(with Sergio Antoy
and Rachid Echahed)
Proc. of the 21th Annual SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'94), 1994
Abstract Preprint (PDF) BibTeX-Entry Online
© ACM Press
Revised and extended version
Improving Control of Logic Programs by Using Functional Logic Languages
4th International Symposium on Programming Language Implementation and Logic Programming (PLILP'92), 1992
Abstract Preprint (PDF) BibTeX-Entry Online
© Springer-Verlag
Hybrid Verification of Declarative Programs with Arithmetic Non-fail Conditions
Proc. of the 22nd Asian Symposium on Programming Languages and Systems (APLAS 2024), 2024
Abstract Preprint (PDF) BibTeX-Entry Online
© Springer-Verlag
Inferring Non-Failure Conditions for Declarative Programs
Proc. of the 17th International Symposium on Functional and Logic Programming (FLOPS 2024), 2024
Abstract Preprint (PDF) BibTeX-Entry Online
© Springer-Verlag
Combining Static and Dynamic Contract Checking for Curry
Fundamenta Informaticae, 2020
Abstract Preprint (PDF) BibTeX-Entry Online
Verifying Fail-Free Declarative Programs
Proc. of the 20th International Symposium on Principles and Practice of Declarative Programming (PPDP 2018), 2018
Abstract Preprint (PDF) BibTeX-Entry Online
© ACM Press
Equivalence Checking of Non-deterministic Operations
(with Sergio Antoy)
Proc. of the 14th International Symposium on Functional and Logic Programming (FLOPS 2018), 2018
Abstract Preprint (PDF) BibTeX-Entry Online
© Springer-Verlag
Combining Static and Dynamic Contract Checking for Curry
Proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), 2018
Abstract Preprint (PDF) BibTeX-Entry Online
There is also a longer version available.
Combining Static and Dynamic Contract Checking for Curry
Pre-Proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), 2017
Abstract Preprint (PDF) BibTeX-Entry Online
There is also a longer revised version available.
CPM: A Declarative Package Manager with Semantic Versioning
(with Jonas Oberschweiber)
Pre-Proceedings of the Conference on Declarative Programming (Declare 2017), 2017
Abstract Preprint (PDF) BibTeX-Entry
Semantic Versioning Checking in a Declarative Package Manager
Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017), 2017
Abstract Preprint (PDF) BibTeX-Entry Online
CurryCheck: Checking Properties of Curry Programs
Proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016), 2017
Abstract Preprint (PDF) BibTeX-Entry Online
CurryCheck: Checking Properties of Curry Programs
Pre-Proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016), 2016
Abstract Preprint (PDF) BibTeX-Entry Online
Multiparadigm Languages
Computing Handbook, Third Edition: Computer Science and Software Engineering, 2014
Abstract BibTeX-Entry Online
© Chapman & Hall/CRC
The published version is available from Chapman & Hall/CRC.
An ER-based Framework for Declarative Web Programming
(with Sven Koschnicke)
Theory and Practice of Logic Programming, 2014
Abstract Preprint (PDF) BibTeX-Entry Online
© Cambridge University Press
Xbase: Implementing Domain-Specific Languages for Java
(with Sven Efftinge
and Moritz Eysholdt
and Jan Köhnlein
and Sebastian Zarnekow
and Robert von Massow
and Wilhelm Hasselbring)
Proc. of the 11th International Conference on Generative Programming and Component Engineering (GPCE'12), 2012
Abstract Preprint (PDF) BibTeX-Entry Online
© ACM Press
Contracts and Specifications for Functional Logic Programming
(with Sergio Antoy)
Proc. of the 14th International Symposium on Practical Aspects of Declarative Languages (PADL 2012), 2012
Abstract Preprint (PDF) BibTeX-Entry Online
© Springer-Verlag
New Functional Logic Design Patterns
(with Sergio Antoy)
Proc. of the 20th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2011), 2011
Abstract Preprint (PDF) BibTeX-Entry Online
© Springer-Verlag
Declarative Processing of Semistructured Web Data
Technical Communications of the 27th International Conference on Logic Programming (ICLP 2011), 2011
Abstract Preprint (PDF) BibTeX-Entry Online
Contracts and Specifications for Functional Logic Programming
(with Sergio Antoy)
21st Workshop on Logic-based Methods in Programming Environments (WLPE 2011), 2011
Abstract Preprint (PDF) BibTeX-Entry
Lazy and Enforceable Assertions for Functional Logic Programs
Proc. of the 19th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2010), 2011
Abstract Preprint (PDF) BibTeX-Entry Online
© Springer-Verlag
Constructing a Bidirectional Transformation between BPMN and BPEL with a Functional Logic Programming Language
(with Steffen Mazanek)
Journal of Visual Languages and Computing, 2011
Abstract Preprint (PDF) BibTeX-Entry Online
© Elsevier
A Transformation Tool for Functional Logic Program Development
(with Sergio Antoy)
Proc. of the 24th Workshop on (Constraint) Logic Programming (WLP 2010), 2010
Abstract Preprint (PDF) BibTeX-Entry
Functional Logic Programming
(with Sergio Antoy)
Communications of the ACM, 2010
Abstract BibTeX-Entry Online
© ACM Press
The published version is available from ACM.
An ER-based Framework for Declarative Web Programming
(with Sven Koschnicke)
Proc. of the 12th International Symposium on Practical Aspects of Declarative Languages (PADL 2010), 2010
Abstract Preprint (PDF) BibTeX-Entry Online
© Springer-Verlag
Lazy and Faithful Assertions for Functional Logic Programs
Proc. of the 19th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2010), 2010
Abstract Preprint (PDF) BibTeX-Entry
CurryBrowser: A Generic Analysis Environment for Curry Programs
Proc. of the 16th Workshop on Logic-based Methods in Programming Environments (WLPE'06), 2006
Abstract Preprint (PDF) BibTeX-Entry
A Generic Analysis Environment for Declarative Programs
Proc. of the International Workshop on Curry and Functional Logic Programming (WCFLP 2005), 2005
Abstract Preprint (PDF) BibTeX-Entry Online
© ACM Press
Concurrent Distinct Choices
(with Sergio Antoy)
Journal of Functional Programming, 2004
Abstract Preprint (PDF) BibTeX-Entry Online
Functional Logic Design Patterns
(with Sergio Antoy)
Proc. of the 6th International Symposium on Functional and Logic Programming (FLOPS 2002), 2002
Abstract Preprint (PDF) BibTeX-Entry Online
© Springer-Verlag
CurryDoc: A Documentation Tool for Declarative Programs
Proc. of the 11th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2002), 2002
Abstract Preprint (PDF) BibTeX-Entry
An Integrated Development Environment for Declarative Multi-Paradigm Programming
(with Johannes Koj)
Proc. of the Eleventh Workshop on Logic Programming Environments (WLPE'01), 2001
Abstract Preprint (PDF) BibTeX-Entry Online
A Functional Logic Programming Approach to Graphical User Interfaces
Proc. of the Second International Workshop on Practical Aspects of Declarative Languages (PADL'00), 2000
Abstract Preprint (PDF) BibTeX-Entry Online
© Springer-Verlag
An Open System to Support Web-based Learning
(with Frank Huch)
Proc. of the 12th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2003), 2003
Abstract Preprint (PDF) BibTeX-Entry
Teaching Functional and Logic Programming with a Single Computation Model
Proc. Ninth International Symposium on Programming Languages, Implementations, Logics, and Programs (PLILP'97), 1997
Abstract Preprint (PDF) BibTeX-Entry Online
© Springer-Verlag
An Object-Oriented Extension of the Declarative Multi-Paradigm Language Curry
(with Frank Huch
and Philipp Niederau)
Proc. of the 12th International Workshop on Implementation of Functional Languages (IFL 2000), 2001
Abstract Preprint (PDF) BibTeX-Entry Online
© Springer-Verlag
Logic Programming with Type Specifications
Chapter 3 in "Types in Logic Programming" (F. Pfenning, ed.), 1992
Abstract Preprint (PDF) BibTeX-Entry
Horn Clause Programs with Polymorphic Types: Semantics and Resolution
Theoretical Computer Science, 1991
Abstract BibTeX-Entry Online
Parametric Order-Sorted Types in Logic Programming
Proc. of the International Conference on Theory and Practice of Software Development (TAPSOFT'91), 1991
Abstract Preprint (PDF) BibTeX-Entry Online
© Springer-Verlag
Logic Programs with Equational Type Specifications
Proc. of the 2nd International Conference on Algebraic and Logic Programming (ALP'90), 1990
Abstract Preprint (PDF) BibTeX-Entry Online
© Springer-Verlag
Revised and extended version
A Functional and Logic Language with Polymorphic Types
Proc. Int. Symposium on Design and Implementation of Symbolic Computation Systems (DISCO'90), 1990
Abstract Preprint (PDF) BibTeX-Entry Online
© Springer-Verlag
Polymorphic Higher-Order Programming in Prolog
Proc. of the Sixth International Conference on Logic Programming (ICLP'89), 1989
Abstract Preprint (PDF) BibTeX-Entry
Horn Clause Programs with Polymorphic Types: Semantics and Resolution
Proc. of the International Conference on Theory and Practice of Software Development (TAPSOFT'89), 1989
Abstract Preprint (PDF) BibTeX-Entry Online
© Springer-Verlag
Revised and extended version
Hybrid Verification of Declarative Programs with Arithmetic Non-fail Conditions
Proc. of the 22nd Asian Symposium on Programming Languages and Systems (APLAS 2024), 2024
Abstract Preprint (PDF) BibTeX-Entry Online
© Springer-Verlag
Inferring Non-Failure Conditions for Declarative Programs
Proc. of the 17th International Symposium on Functional and Logic Programming (FLOPS 2024), 2024
Abstract Preprint (PDF) BibTeX-Entry Online
© Springer-Verlag
Automated Verification of Fail-Free Declarative Programs
Tagungsband zum 22. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2023), 2023
Abstract Preprint (PDF) BibTeX-Entry Online
Combining Static and Dynamic Contract Checking for Curry
Fundamenta Informaticae, 2020
Abstract Preprint (PDF) BibTeX-Entry Online
Verifying Fail-Free Declarative Programs
Proc. of the 20th International Symposium on Principles and Practice of Declarative Programming (PPDP 2018), 2018
Abstract Preprint (PDF) BibTeX-Entry Online
© ACM Press
Equivalence Checking of Non-deterministic Operations
(with Sergio Antoy)
Proc. of the 14th International Symposium on Functional and Logic Programming (FLOPS 2018), 2018
Abstract Preprint (PDF) BibTeX-Entry Online
© Springer-Verlag
Combining Static and Dynamic Contract Checking for Curry
Proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), 2018
Abstract Preprint (PDF) BibTeX-Entry Online
There is also a longer version available.
Combining Static and Dynamic Contract Checking for Curry
Pre-Proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), 2017
Abstract Preprint (PDF) BibTeX-Entry Online
There is also a longer revised version available.
CurryCheck: Checking Properties of Curry Programs
Proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016), 2017
Abstract Preprint (PDF) BibTeX-Entry Online
Proving Non-Deterministic Computations in Agda
(with Sergio Antoy
and Steven Libby)
Proceedings of the 24th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2016), 2017
Abstract Preprint (PDF) BibTeX-Entry Online
CurryCheck: Checking Properties of Curry Programs
Pre-Proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016), 2016
Abstract Preprint (PDF) BibTeX-Entry Online
Lightweight Declarative Server-Side Web Programming
Proc. of the 23rd International Symposium on Practical Aspects of Declarative Languages (PADL 2021), 2021
Abstract Preprint (PDF) BibTeX-Entry Online
© Springer-Verlag
An ER-based Framework for Declarative Web Programming
(with Sven Koschnicke)
Theory and Practice of Logic Programming, 2014
Abstract Preprint (PDF) BibTeX-Entry Online
© Cambridge University Press
Declarative Processing of Semistructured Web Data
Technical Communications of the 27th International Conference on Logic Programming (ICLP 2011), 2011
Abstract Preprint (PDF) BibTeX-Entry Online
An ER-based Framework for Declarative Web Programming
(with Sven Koschnicke)
Proc. of the 12th International Symposium on Practical Aspects of Declarative Languages (PADL 2010), 2010
Abstract Preprint (PDF) BibTeX-Entry Online
© Springer-Verlag
Declarative Programming of User Interfaces
(with Christof Kluß)
Proc. of the 11th International Symposium on Practical Aspects of Declarative Languages (PADL'09), 2009
Abstract Preprint (PDF) BibTeX-Entry Online
© Springer-Verlag
Declarative Programming of User Interfaces
(with Christof Kluß)
Proc. of the 22th Workshop on (Constraint) Logic Programming (WLP 2008), 2008
Abstract Preprint (PDF) BibTeX-Entry
Putting Declarative Programming into the Web: Translating Curry to JavaScript
Proc. of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'07), 2007
Abstract Preprint (PDF) BibTeX-Entry Online
© ACM Press
Type-Oriented Construction of Web User Interfaces
Proc. of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'06), 2006
Abstract Preprint (PDF) BibTeX-Entry Online
© ACM Press
An Open System to Support Web-based Learning
(with Frank Huch)
Proc. of the 12th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2003), 2003
Abstract Preprint (PDF) BibTeX-Entry
High-Level Server Side Web Scripting in Curry
Proc. of the Third International Symposium on Practical Aspects of Declarative Languages (PADL'01), 2001
Abstract Preprint (PDF) BibTeX-Entry Online
© Springer-Verlag