Lazy FLP in pure Haskell

Unhappy with the conclusion of this article, I began to develop a framework for lazy functional-logic programming in Haskell that allows to compare different search strategies in an in other respects identical environment. Specifically, I aim at comparing complete strategies like breath-first search or FBackTrack (cf. aforementioned articel) w.r.t. their run-time and memory requirements. Unlike described earlier, the combination of laziness and nondeterminism should conform to Call-Time Choice semantics without prohibiting compiler optimizations due to side effects.

more..

Adaptive Search for Test Cases

After my talk at FLOPS 2008, Chung-chieh Shan 單中杰 pointed out that — because test-case generation is a search problem — heuristic search techniques from AI could be applied to improve the usual-case performance of test-case generation. Specifically, he pointed me at Adaptive Tree Search (ATS) which aims at finding good leaves in a search tree early by guiding the search based on the quality of leaves found earlier.

more..

Efficient Fair Search for Lazy FLP

At FLOPS 2008 Oleg Kiselyov showed me FBackTrack — a simple instantiation of the MonadPlus class in Haskell which is fair (like breadth-first search) and seems to consume considerably less memory than BFS. I immediately started following an obvious plan: implement a traversal on Curry’s SearchTree datatype treating choices like mplus and values like return.

more..

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

more..

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

more..

Internetprogrammierung

Das Praktikum findet Dienstags und Donnerstags von 16 bis 18 Uhr (st) im Raum 715 des Uni Hochhauses statt.

Die Veranstaltung im Univis:

Aktuelle Informationen zu dieser Veranstaltung gibt es auf der Projektwebsite.

more..

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

more..