Sebastian Fischer » Publications

Reinventing Haskell Backtracking

I have revised my submission to ATPS’09 — a german workshop on programming.

The most important changes are:

a simplified implementation of iterative deepening depth-first search and
an additional section with experimental results.

There is also an extended one page abstract summarising the work.

Purely Functional Lazy Non-deterministic Programming

This is joint work with Oleg Kiselyov and Chung-chieh Shan accepted for ICFP’09.

Data-Flow Testing of Declarative Programs

with Herbert Kuchen

ICFP ‘08: Proceedings of the 13th ACM SIGPLAN International Conference on Functional Programming © ACM Press
pdf
slides
bib

Preserving Sharing in the Partial Evaluation of Lazy Functional Programs

with Josep Silva, Salvador Tamarit and German Vidal

LOPSTR ‘07: Logic-Based Program Synthesis and Transformation © Springer
pdf
bib

EasyCheck - Test Data for Free

with Jan Christiansen

to be published in FLOPS ‘08: Proceedings of the 9th International Symposium on Functional and Logic Programming © Springer
pdf
slides
bib

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