Sebastian Fischer » Publications

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

Declaring Numbers

with Bernd Braßel and Frank Huch

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

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

Lazy Database Access with Persistent Predicates

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

Resource-Based Web Applications

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

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

A Functional Logic Database Library

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