Michael Hanus

CoRR, 2024

2022

From Logic to Functional Logic Programs.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2022

A Monadic Implementation of Functional Logic Programs.

[BibT_eX]

[DOI]

Kai-Oliver Prott

Proceedings of the PPDP 2022: 24th International Symposium on Principles and Practice of Declarative Programming, Tbilisi, Georgia, September 20, 2022

2021

From Non-determinism to Goroutines: A Fair Implementation of Curry in Go.

[BibT_eX]

[DOI]

Jonas Böhm

Proceedings of the PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, 2021

Lightweight Declarative Server-Side Web Programming.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2021

2020

Combining Static and Dynamic Contract Checking for Curry.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2020

Pre-Proceedings of the 28th International Workshop on Functional and Logic Programming (WFLP 2020).

[BibT_eX]

[DOI]

Claudio Sacerdoti Coen

CoRR, 2020

Memoized Pull-Tabbing for Functional Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Functional and Constraint Logic Programming, 2020

2019

Improving Residuation in Declarative Programs.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2019

Adding Data to Curry.

[BibT_eX]

[DOI]

Proceedings of the Declarative Programming and Knowledge Management, 2019

ICurry.

[BibT_eX]

[DOI]

Proceedings of the Declarative Programming and Knowledge Management, 2019

2018

Synthesizing Set Functions.

[BibT_eX]

[DOI]

Proceedings of the Functional and Constraint Logic Programming, 2018

Verifying Fail-Free Declarative Programs.

[BibT_eX]

[DOI]

Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, 2018

Equivalence Checking of Non-deterministic Operations.

[BibT_eX]

[DOI]

Proceedings of the Functional and Logic Programming - 14th International Symposium, 2018

2017

Default rules for Curry.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2017

Transforming Boolean equalities into constraints.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2017

A Typeful Integration of SQL into Curry.

[BibT_eX]

[DOI]

Julia Krone

Proceedings of the Proceedings 29th and 30th Workshops on (Constraint) Logic Programming and 24th International Workshop on Functional and (Constraint) Logic Programming, 2017

Proving Non-Deterministic Computations in Agda.

[BibT_eX]

[DOI]

Steven Libby

Proceedings of the Proceedings 29th and 30th Workshops on (Constraint) Logic Programming and 24th International Workshop on Functional and (Constraint) Logic Programming, 2017

Eliminating Irrelevant Non-determinism in Functional Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2017

Semantic Versioning Checking in a Declarative Package Manager.

[BibT_eX]

[DOI]

Proceedings of the Technical Communications of the 33rd International Conference on Logic Programming, 2017

2016

A Parser Generator System for Level-based Programming Languages.

[BibT_eX]

[DOI]

Jan Rasmus Tikovsky

Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 (SE 2016), 2016

CurryCheck: Checking Properties of Curry Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic-Based Program Synthesis and Transformation, 2016

2015

CHR(Curry): Interpretation and Compilation of Constraint Handling Rules in Curry.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2015

From Boolean Equalities to Constraints.

[BibT_eX]

[DOI]

Proceedings of the Logic-Based Program Synthesis and Transformation, 2015

2014

An ER-based framework for declarative web programming.

[BibT_eX]

[DOI]

Sven Koschnicke

Theory Pract. Log. Program., 2014

A Partial Evaluator for Curry.

[BibT_eX]

[DOI]

Björn Peemöller

Proceedings of the 28th Workshop on (Constraint) Logic Programming (WLP 2014) Proceedings of the 23rd International Workshop on Functional and (Constraint) Logic Programming, 2014

Declarative Multi-paradigm Programming.

[BibT_eX]

[DOI]

Proceedings of the 28th Workshop on (Constraint) Logic Programming (WLP 2014) Proceedings of the 23rd International Workshop on Functional and (Constraint) Logic Programming, 2014

Curry without Success.

[BibT_eX]

[DOI]

Proceedings of the 28th Workshop on (Constraint) Logic Programming (WLP 2014) Proceedings of the 23rd International Workshop on Functional and (Constraint) Logic Programming, 2014

Integration of Finite Domain Constraints in KiCS2.

[BibT_eX]

[DOI]

Björn Peemöller

Jan Rasmus Tikovsky

Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2014, 2014

A modular and generic analysis server system for functional logic programs.

[BibT_eX]

[DOI]

Fabian Skrlac

Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, 2014

Multiparadigm Languages.

[BibT_eX]

Proceedings of the Computing Handbook, 2014

2013

Adding Plural Arguments to Curry Programs.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2013

A Generic Analysis Server System for Functional Logic Programs.

[BibT_eX]

[DOI]

Fabian Reck

CoRR, 2013

A semantics for weakly encapsulated search in functional logic programs.

[BibT_eX]

[DOI]

Proceedings of the 15th International Symposium on Principles and Practice of Declarative Programming, 2013

Implementing Equational Constraints in a Functional Language.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2013

Functional Logic Programming: From Theory to Curry.

[BibT_eX]

[DOI]

Proceedings of the Programming Logics - Essays in Memory of Harald Ganzinger, 2013

2012

Search strategies for functional logic programming.

[BibT_eX]

[DOI]

Björn Peemöller

Fabian Reck

Proceedings of the Software Engineering 2012 - Workshopband, Fachtagung des GI-Fachbereichs Softwaretechnik, 27. Februar, 2012

Contracts and Specifications for Functional Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2012

Improving Lazy Non-Deterministic Computations by Demand Analysis.

[BibT_eX]

[DOI]

Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

Xbase: implementing domain-specific languages for Java.

[BibT_eX]

[DOI]

Proceedings of the Generative Programming and Component Engineering, 2012

2011

Constructing a bidirectional transformation between BPMN and BPEL with a functional logic programming language.

[BibT_eX]

[DOI]

Steffen Mazanek

J. Vis. Lang. Comput., 2011

KiCS2: A New Compiler from Curry to Haskell.

[BibT_eX]

[DOI]

Proceedings of the Functional and Constraint Logic Programming, 2011

New Functional Logic Design Patterns.

[BibT_eX]

[DOI]

Proceedings of the Functional and Constraint Logic Programming, 2011

Declarative Processing of Semistructured Web Data.

[BibT_eX]

[DOI]

Proceedings of the Technical Communications of the 27th International Conference on Logic Programming, 2011

2010

Functional logic programming.

[BibT_eX]

[DOI]

Commun. ACM, 2010

Lazy and Enforceable Assertions for Functional Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Functional and Constraint Logic Programming, 2010

Transforming Functional Logic Programs into Monadic Functional Programs.

[BibT_eX]

[DOI]

Proceedings of the Functional and Constraint Logic Programming, 2010

2009

Set functions for functional logic programming.

[BibT_eX]

[DOI]

Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2009

Declarative Programming of User Interfaces.

[BibT_eX]

[DOI]

Christof Kluß

Proceedings of the Practical Aspects of Declarative Languages, 2009

Arbeitstagung Programmiersprachen (ATPS 2009) - Vorwort.

[BibT_eX]

[DOI]

Walter Dosch

Proceedings of the 39. Jahrestagung der Gesellschaft für Informatik, Im Focus das Leben, INFORMATIK 2009, Lübeck, Germany, September 28, 2009

2008

Call pattern analysis for functional logic programs.

[BibT_eX]

[DOI]

Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2008

High-Level Database Programming in Curry.

[BibT_eX]

[DOI]

Marion Müller

Proceedings of the Practical Aspects of Declarative Languages, 2008

2007

A Generic Analysis Environment for Curry Programs

[BibT_eX]

[DOI]

CoRR, 2007

Compiling ER Specifications into Declarative Programs

[BibT_eX]

[DOI]

Marion Müller

CoRR, 2007

Putting declarative programming into the web: translating curry to javascript.

[BibT_eX]

[DOI]

Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2007

Multi-paradigm Declarative Languages.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 23rd International Conference, 2007

Lazy call-by-value evaluation.

[BibT_eX]

[DOI]

Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, 2007

2006

Type-Oriented Construction of Web User Interfaces.

[BibT_eX]

[DOI]

Softwaretechnik-Trends, 2006

Reporting Failures in Functional Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the 15th Workshop on Functional and (Constraint) Logic Programming, 2006

Adding Constraint Handling Rules to Curry.

[BibT_eX]

[DOI]

Proceedings of the 20th Workshop on Logic Programming, 2006

Overlapping Rules and Logic Variables in Functional Logic Programs .

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 22nd International Conference, 2006

2005

Specialization of functional logic programs based on needed narrowing.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2005

Operational semantics for declarative multi-paradigm languages.

[BibT_eX]

[DOI]

J. Symb. Comput., 2005

A generic analysis environment for declarative programs.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming, 2005

Declarative Programming with Function Patterns.

[BibT_eX]

[DOI]

Proceedings of the Logic Based Program Synthesis and Transformation, 2005

Nondeterminism Analysis of Functional Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 21st International Conference, 2005

2004

Concurrent distinct choices.

[BibT_eX]

[DOI]

J. Funct. Program., 2004

Dynamic Predicates in Functional Logic Programs.

[BibT_eX]

[DOI]

J. Funct. Log. Program., 2004

Encapsulating Non-Determinism in Functional Logic Computations.

[BibT_eX]

[DOI]

Frank Huch

J. Funct. Log. Program., 2004

A semantics for tracing declarative multi-paradigm programs.

[BibT_eX]

[DOI]

Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2004

Observing Functional Logic Computations.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 6th International Symposium, 2004

Run-Time Profiling of Functional Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic Based Program Synthesis and Transformation, 2004

A Virtual Machine for Functional Logic Computations.

[BibT_eX]

[DOI]

Proceedings of the Implementation and Application of Functional Languages, 2004

2003

A residualizing semantics for the partial evaluation of functional logic programs.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2003

Towards translating embedded Curry to C.

[BibT_eX]

[DOI]

Klaus Höppner

Frank Huch

Proceedings of the 12th International Workshop on Functional and Constraint Logic Programming, 2003

Conditional narrowing without conditions.

[BibT_eX]

[DOI]

Bernd Brassel

Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2003

2002

A Practical Partial Evaluation Scheme for Multi-Paradigm Declarative Languages.

[BibT_eX]

[DOI]

J. Funct. Log. Program., 2002

Programming Autonomous Robots in Curry.

[BibT_eX]

[DOI]

Klaus Höppner

Proceedings of the 11th International Workshop on Functional and (Constraint) Logic Programming, 2002

Operational Semantics for Functional Logic Languages.

[BibT_eX]

[DOI]

Proceedings of the 11th International Workshop on Functional and (Constraint) Logic Programming, 2002

An Operational Semantics for Declarative Multi-Paradigm Languages.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Reduction Strategies in Rewriting and Programming, 2002

Functional Logic Design Patterns.

[BibT_eX]

[DOI]

Proceedings of the Functional and Logic Programming, 6th International Symposium, 2002

A Deterministic Operational Semantics for Functional Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the AGP 2002: Proceedings of the Joint Conference on Declarative Programming, 2002

2001

Reduction Strategies for Declarative Programming.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Reduction Strategies in Rewriting and Programming, 2001

An Evaluation Semantics for Narrowing-Based Functional Logic Languages.

[BibT_eX]

J. Funct. Log. Program., 2001

Preface.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Functional and (Constraint) Logic Programming, 2001

An Implementation of Narrowing Strategies.

[BibT_eX]

[DOI]

Proceedings of the 3rd international ACM SIGPLAN conference on Principles and practice of declarative programming, 2001

High-Level Server Side Web Scripting in Curry.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2001

An Integrated Development Environment for Declarative Multi-Paradigm Programming.

[BibT_eX]

[DOI]

Johannes Koj

Proceedings of the Eleventh Workshop on Logic Programming Environments (WLPE'01), 2001

A Practical Partial Evaluator for a Multi-Paradigm Declarative Language.

[BibT_eX]

[DOI]

Proceedings of the Functional and Logic Programming, 5th International Symposium, 2001

2000

A needed narrowing strategy.

[BibT_eX]

[DOI]

Rachid Echahed

J. ACM, 2000

Type-based Nondeterminism Checking in Functional Logic Programs.

[BibT_eX]

Frank Steiner

Proceedings of the 14. Workshop Logische Programmierung, 2000

PACS: The Portland Aachen Curry System.

[BibT_eX]

Proceedings of the 14. Workshop Logische Programmierung, 2000

TkCurry: A Declarative Approach to GUI Programming.

[BibT_eX]

Proceedings of the 14. Workshop Logische Programmierung, 2000

Server Side Web Scripting in Curry.

[BibT_eX]

Proceedings of the 9th International Workshop on Functional and Logic Programming, 2000

Realistic Program Specialization in a Multi-Paradigm Language.

[BibT_eX]

Proceedings of the 9th International Workshop on Functional and Logic Programming, 2000

A Functional Logic Programming Approach to Graphical User Interfaces.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2000

Using an Abstract Representation to Specialize Functional Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming and Automated Reasoning, 2000

ObjectCurry: An Object-Oriented Extension of the Declarative Multi-Paradigm Language Curry.

[BibT_eX]

[DOI]

Frank Huch

Philipp Niederau

Proceedings of the Implementation of Functional Languages, 12th International Workshop, 2000

Compiling Multi-Paradigm Declarative Programs into Prolog.

[BibT_eX]

[DOI]

Proceedings of the Frontiers of Combining Systems, 2000

1999

Higher-Order Narrowing with Definitional Trees.

[BibT_eX]

[DOI]

Christian Prehofer

J. Funct. Program., 1999

An Abstract Machine for Curry and Its Concurrent Implementation in Java.

[BibT_eX]

Ramin Sadre

J. Funct. Log. Program., 1999

Distributed Programming in a Multi-Paradigm Declarative Language.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Declarative Programming, International Conference PPDP'99, Paris, France, September 29, 1999

A Partial Evaluation Framework for Curry Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Automated Reasoning, 6th International Conference, 1999

Specialization of Inductively Sequential Functional Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the fourth ACM SIGPLAN International Conference on Functional Programming (ICFP '99), 1999

A Semantics for Program Analysis in Narrowing-Based Functional Logic Languages.

[BibT_eX]

[DOI]

Proceedings of the Functional and Logic Programming, 4th Fuji International Symposium, 1999

1998

Strongly Sequential and Inductively Sequential Term Rewriting Systems.

[BibT_eX]

[DOI]

Aart Middeldorp

Inf. Process. Lett., 1998

Controlling Search in Declarative Programs.

[BibT_eX]

[DOI]

Frank Steiner

Proceedings of the Principles of Declarative Programming, 10th International Symposium, 1998

Controlling Search in Funtional Logic Programs.

[BibT_eX]

Frank Steiner

Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, 1998

1997

Integration of Declarative Paradigms: Benefits and Challenges.

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 1997

Lazy Narrowing with Simplification.

[BibT_eX]

[DOI]

Comput. Lang., 1997

Curry: A Multi-Paradigm Declarative Language (system description).

[BibT_eX]

Proceedings of the Twelfth Workshop Logic Programming, 1997

Multi-Paradigm Declarative Programming (Abstract).

[BibT_eX]

Proceedings of the Logic Programming, 1997

A Unified Computation Model for Functional and Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1997

Teaching Functional and Logic Programming with a Single Computational Model.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages: Implementations, 1997

Parallel Evaluation Strategies for Functional Logic Languages.

[BibT_eX]

Rachid Echahed

Proceedings of the Logic Programming, 1997

A Unified Computation Model for Declarative Programming.

[BibT_eX]

Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

1996

Integration of Functional and Logic Programming.

[BibT_eX]

[DOI]

Herbert Kuchen

ACM Comput. Surv., 1996

A Denotational Semantics for Needed Narrowing.

[BibT_eX]

Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996

1995

Compile-time Analysis of Nonlinear Constraints in CLP(<i>R</i>).

[BibT_eX]

[DOI]

New Gener. Comput., 1995

Analysis of Residuating Logic Programs.

[BibT_eX]

[DOI]

J. Log. Program., 1995

Functional Logic Languages: Combine Search and Efficient Evaluation (Panel Abstract).

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 1995

Efficient Translation of Lazy Functional Logic Programs into Prolog.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming Synthesis and Transformation, 1995

On Extra Variables in (Equational) Logic Programming.

[BibT_eX]

Proceedings of the Logic Programming, 1995

1994

The Integration of Functions into Logic Programming: From Theory to Practice.

[BibT_eX]

[DOI]

J. Log. Program., 1994

Mode Analysis of Functional Logic Programs

[BibT_eX]

[DOI]

Frank Zartmann

Proceedings of the Static Analysis, First International Static Analysis Symposium, 1994

Combining Lazy Narrowing and Simplification.

[BibT_eX]

[DOI]

Proceedings of the Programming Language Implementation and Logic Programming, 1994

Lazy Unification with Simplification.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 1994

Towards the Global Optimization of Functional Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Compiler Construction, 5th International Conference, 1994

1993

Lazy Unification with Inductive Simplification.

[BibT_eX]

Proceedings of the 9. Workshop Logische Programmierung, 1993

Combining Lazy Narrowing and Normalization.

[BibT_eX]

Proceedings of the Logic Programming, 1993

Analysis of Nonlinear Constraints in CLP(R).

[BibT_eX]

Proceedings of the Logic Programming, 1993

1992

An Abstract Interpretation Algorithm for Residuating Logic Programs.

[BibT_eX]

Proceedings of the Actes WSA'92 Workshop on Static Analysis (Bordeaux, 1992

Improving Control of Logic Programs by Using Functional Logic Languages.

[BibT_eX]

[DOI]

Proceedings of the Programming Language Implementation and Logic Programming, 1992

A Debugging Model for Functional Logic Programs.

[BibT_eX]

Berthold Josephs

Proceedings of the 4th Workshop on Logic Programming Environments (LPE 1992), 1992

On the Completeness of Residuation.

[BibT_eX]

Proceedings of the Logic Programming, 1992

Incremental Rewriting in Narrowing Derivations.

[BibT_eX]

[DOI]

Proceedings of the Algebraic and Logic Programming, 1992

Logic Programming with Type Specifications.

[BibT_eX]

Proceedings of the Types in Logic Programming., 1992

1991

Horn Clause Programs with Polymorphic Types: Semantics and Resolution.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1991

Parametric Order-Sorted Types in Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991

The ALF System.

[BibT_eX]

[DOI]

Proceedings of the Programming Language Implementation and Logic Programming, 1991

The ALF System: An Efficient Implementation of a Functional Logic Language.

[BibT_eX]

[DOI]

Proceedings of the Processing Declarative Knowledge, 1991

Efficient Implementation of Narrowing and Rewriting.

[BibT_eX]

[DOI]

Proceedings of the Processing Declarative Knowledge, 1991

1990

Compiling Logic Programs with Equality.

[BibT_eX]

[DOI]

Proceedings of the Programming Language Implementation and Logic Programming, 1990

A Functional and Logic Language with Polymorphic Types (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Design and Implementation of Symbolic Computation Systems, 1990

Logic Programs with Equational Type Specifications (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Algebraic and Logic Programming, 1990

1989

Polymorphic High-Order Programming in Prolog.

[BibT_eX]

Proceedings of the Logic Programming, 1989

1988

Horn clause specifications with polymorphic types.

[BibT_eX]

[DOI]

PhD thesis, 1988

Formal Specification of a Prolog Compiler.

[BibT_eX]

[DOI]

Proceedings of the Programming Language Implementation and Logic Programming, 1988

Horn Clause Specifications with Polymorphic Types.

[BibT_eX]

Proceedings of the 6st Workshop on Abstract Data Type, 1988. University of Berlin, Germany, 1988

1986

Formatierer für Text und Graphik und ihre Implementierung mit Smalltalk-80.

[BibT_eX]

[DOI]

Proceedings of the Graphik in Dokumenten, 1986

1985

Modular Logic Programming of Compilers.

[BibT_eX]

Harald Ganzinger