2008 |
12 | EE | Jan Christiansen,
Sebastian Fischer:
EasyCheck - Test Data for Free.
FLOPS 2008: 322-336 |
11 | EE | Sebastian Fischer,
Herbert Kuchen:
Data-flow testing of declarative programs.
ICFP 2008: 201-212 |
10 | EE | Sebastian Fischer,
Stephan Schwan:
Adaptively shortened pull down menus: location knowledge and selection efficiency.
Behaviour & IT 27(5): 439-444 (2008) |
9 | EE | Bernd Braßel,
Sebastian Fischer,
Frank Huch:
Declaring Numbers.
Electr. Notes Theor. Comput. Sci. 216: 111-124 (2008) |
2007 |
8 | EE | Bernd Braßel,
Michael Hanus,
Sebastian Fischer,
Frank Huch,
Germán Vidal:
Lazy call-by-value evaluation.
ICFP 2007: 265-276 |
7 | EE | Sebastian Fischer,
Josep Silva,
Salvador Tamarit,
Germán Vidal:
Preserving Sharing in the Partial Evaluation of Lazy Functional Programs.
LOPSTR 2007: 74-89 |
6 | EE | Sebastian Fischer,
Herbert Kuchen:
Systematic generation of glass-box test cases for functional logic programs.
PPDP 2007: 63-74 |
5 | EE | Rudolf Berghammer,
Sebastian Fischer:
Implementing Relational Specifications in a Constraint Functional Logic Language.
Electr. Notes Theor. Comput. Sci. 177: 169-183 (2007) |
4 | EE | Sebastian Fischer:
Lazy Database Access with Persistent Predicates.
Electr. Notes Theor. Comput. Sci. 177: 185-200 (2007) |
2006 |
3 | EE | Bernd Brassel,
Sebastian Fischer,
Frank Huch:
A Program Transformation for Tracing Functional Logic Computations.
LOPSTR 2006: 160-176 |
2 | | Sebastian Fischer:
Resource-based Web applications.
Trends in Functional Programming 2006: 181-197 |
2005 |
1 | EE | Sebastian Fischer:
A functional logic database library.
WCFLP 2005: 54-59 |