Systematic Generation of Glass-Box Test Cases for Functional Logic Programs

with Herbert Kuchen

  • PPDP ‘07: Proceedings of the 9th ACM SIGPLAN International Symposium on Principles and Practice of Declarative Programming © ACM Press
  • pdf
  • slides
  • bib

more..

Declaring Numbers

with Bernd Braßel and Frank Huch

  • WFLP ‘07: 16th Workshop on Functional and (Constraint) Logic Programming © Elsevier
  • pdf
  • slides
  • bib

more..

Implementing Relational Specifications in a Constraint Functional Logic Language

with Rudolf Berghammer

  • WFLP ‘06: 15th Workshop on Functional and (Constraint) Logic Programming © Elsevier
  • pdf
  • bib

more..

Lazy Database Access with Persistent Predicates

  • WFLP ‘06: 15th Workshop on Functional and (Constraint) Logic Programming © Elsevier
  • pdf
  • bib

more..

Resource-Based Web Applications

  • TFP ‘06: Proceedings of the 7th Symposium on Trends in Functional Programming © Intellect
  • pdf
  • bib

more..

A Program Transformation for Tracing Functional Logic Computations

with Bernd Braßel and Frank Huch

  • LOPSTR ‘06: Proceedings of the 16th International Symposium on Logic-Based Program Synthesis and Transformation © Springer
  • pdf
  • bib

more..

A Functional Logic Database Library

  • WCFLP ‘05: Proceedings of the 2005 ACM SIGPLAN Workshop on Curry and Functional Logic Programming © ACM Press
  • pdf
  • bib

more..