Sebastian Fischer

According to our database, Sebastian Fischer authored at least 25 papers between 2005 and 2015.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2015

Combining relation algebra and data refinement to develop rectangle-based functional programs for reflexive-transitive closures.

Rudolf Berghammer, Sebastian Fischer

J. Log. Algebraic Methods Program., 2015

The essence of bidirectional programming.

Sebastian Fischer, Zhenjiang Hu, Hugo Pacheco

Sci. China Inf. Sci., 2015

A Clear Picture of Lens Laws - Functional Pearl.

Sebastian Fischer, Zhenjiang Hu, Hugo Pacheco

Proceedings of the Mathematics of Program Construction - 12th International Conference, 2015

2014

Monadic combinators for "Putback" style bidirectional programming.

Hugo Pacheco, Zhenjiang Hu, Sebastian Fischer

Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, 2014

Validity Checking of Putback Transformations in Bidirectional Programming.

Zhenjiang Hu, Hugo Pacheco, Sebastian Fischer

Proceedings of the FM 2014: Formal Methods, 2014

2012

Simple Rectangle-Based Functional Programs for Computing Reflexive-Transitive Closures.

Rudolf Berghammer, Sebastian Fischer

Proceedings of the Relational and Algebraic Methods in Computer Science, 2012

2011

Purely functional lazy nondeterministic programming.

Sebastian Fischer, Oleg Kiselyov, Chung-chieh Shan

J. Funct. Program., 2011

2010

On functional logic programming and its application to testing.

Sebastian Fischer

PhD thesis, 2010

Transforming Functional Logic Programs into Monadic Functional Programs.

Bernd Braßel, Sebastian Fischer, Michael Hanus, Fabian Reck

Proceedings of the Functional and Constraint Logic Programming, 2010

A play on regular expressions: functional pearl.

Sebastian Fischer, Frank Huch, Thomas Wilke

Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010

2009

Purely functional lazy non-deterministic programming.

Sebastian Fischer, Oleg Kiselyov, Chung-chieh Shan

Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

Towards a Parallel Search for Solutions of Non-deterministic Computations.

Fabian Reck, Sebastian Fischer

Proceedings of the 39. Jahrestagung der Gesellschaft für Informatik, Im Focus das Leben, INFORMATIK 2009, Lübeck, Germany, September 28, 2009

Reinventing Haskell Backtracking.

Sebastian Fischer

Proceedings of the 39. Jahrestagung der Gesellschaft für Informatik, Im Focus das Leben, INFORMATIK 2009, Lübeck, Germany, September 28, 2009

2008

From Functional Logic Programs to Purely Functional Programs Preserving Laziness.

Bernd Braßel, Sebastian Fischer

Proceedings of the Implementation and Application of Functional Languages, 2008

Data-flow testing of declarative programs.

Sebastian Fischer, Herbert Kuchen

Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

EasyCheck - Test Data for Free.

Jan Christiansen, Sebastian Fischer

Proceedings of the Functional and Logic Programming, 9th International Symposium, 2008

2007

Declaring Numbers.

Bernd Braßel, Sebastian Fischer, Frank Huch

Proceedings of the 16th International Workshop on Functional and (Constraint) Logic Programming, 2007

Systematic generation of glass-box test cases for functional logic programs.

Sebastian Fischer, Herbert Kuchen

Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2007

Preserving Sharing in the Partial Evaluation of Lazy Functional Programs.

Sebastian Fischer, Josep Silva, Salvador Tamarit, Germán Vidal

Proceedings of the Logic-Based Program Synthesis and Transformation, 2007

Lazy call-by-value evaluation.

Bernd Braßel, Michael Hanus, Sebastian Fischer, Frank Huch, Germán Vidal

Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, 2007

2006

Resource-Based Web Applications.

Sebastian Fischer

Softwaretechnik-Trends, 2006

Lazy Database Access with Persistent Predicates.

Sebastian Fischer

Proceedings of the 15th Workshop on Functional and (Constraint) Logic Programming, 2006

Implementing Relational Specifications in a Constraint Functional Logic Language.

Rudolf Berghammer, Sebastian Fischer

Proceedings of the 15th Workshop on Functional and (Constraint) Logic Programming, 2006

A Program Transformation for Tracing Functional Logic Computations.

Bernd Brassel, Sebastian Fischer, Frank Huch

Proceedings of the Logic-Based Program Synthesis and Transformation, 2006

2005

A functional logic database library.

Sebastian Fischer

Proceedings of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming, 2005