Sebastian Fischer

28 papers A 5B 2C 5Misc 1Journal 5Unranked 9
YearRankTypeTitle / Venue / Authors
2015 B conf
A Clear Picture of Lens Laws - Functional Pearl.
MPC
Sebastian Fischer, Zhenjiang Hu, Hugo Pacheco
2015 J jnl
Combining relation algebra and data refinement to develop rectangle-based functional programs for reflexive-transitive closures.
J. Log. Algebraic Methods Program.
Rudolf Berghammer, Sebastian Fischer
2015 J jnl
The essence of bidirectional programming.
Sci. China Inf. Sci.
Sebastian Fischer, Zhenjiang Hu, Hugo Pacheco
2014 C conf
Monadic combinators for "Putback" style bidirectional programming.
PEPM
Hugo Pacheco, Zhenjiang Hu, Sebastian Fischer
2014 B conf
Validity Checking of Putback Transformations in Bidirectional Programming.
FM
Zhenjiang Hu, Hugo Pacheco, Sebastian Fischer
2012 J jnl
Filter-embedding semiring fusion for programming with MapReduce.
Formal Aspects Comput.
Kento Emoto, Sebastian Fischer, Zhenjiang Hu
2012 A conf
Generate, Test, and Aggregate - A Calculation-based Framework for Systematic Parallel Programming with MapReduce.
ESOP
Kento Emoto, Sebastian Fischer, Zhenjiang Hu
2012 C conf
Simple Rectangle-Based Functional Programs for Computing Reflexive-Transitive Closures.
RAMiCS
Rudolf Berghammer, Sebastian Fischer
2011 J jnl
Purely functional lazy nondeterministic programming.
J. Funct. Program.
Sebastian Fischer, Oleg Kiselyov, Chung-chieh Shan
2010 A conf
A play on regular expressions: functional pearl.
ICFP
Sebastian Fischer, Frank Huch, Thomas Wilke
2010 — —
On functional logic programming and its application to testing.
Sebastian Fischer
2010 — conf
Transforming Functional Logic Programs into Monadic Functional Programs.
WFLP
Bernd Braßel, Sebastian Fischer, Michael Hanus, Fabian Reck
2009 A conf
Purely functional lazy non-deterministic programming.
ICFP
Sebastian Fischer, Oleg Kiselyov, Chung-chieh Shan
2009 — conf
Reinventing Haskell Backtracking.
GI Jahrestagung
Sebastian Fischer
2009 — conf
Towards a Parallel Search for Solutions of Non-deterministic Computations.
GI Jahrestagung
Fabian Reck, Sebastian Fischer
2008 A conf
Data-flow testing of declarative programs.
ICFP
Sebastian Fischer, Herbert Kuchen
2008 Misc conf
EasyCheck - Test Data for Free.
FLOPS
Jan Christiansen, Sebastian Fischer
2008 — conf
From Functional Logic Programs to Purely Functional Programs Preserving Laziness.
IFL
Bernd Braßel, Sebastian Fischer
2007 — conf
Declaring Numbers.
WFLP@RDP
Bernd Braßel, Sebastian Fischer, Frank Huch
2007 A conf
Lazy call-by-value evaluation.
ICFP
Bernd Braßel, Michael Hanus, Sebastian Fischer, Frank Huch, Germán Vidal
2007 C conf
Preserving Sharing in the Partial Evaluation of Lazy Functional Programs.
LOPSTR
Sebastian Fischer, Josep Silva, Salvador Tamarit, Germán Vidal
2007 C conf
Systematic generation of glass-box test cases for functional logic programs.
PPDP
Sebastian Fischer, Herbert Kuchen
2006 C conf
A Program Transformation for Tracing Functional Logic Computations.
LOPSTR
Bernd Brassel, Sebastian Fischer, Frank Huch
2006 — conf
Implementing Relational Specifications in a Constraint Functional Logic Language.
WFLP
Rudolf Berghammer, Sebastian Fischer
2006 — conf
Lazy Database Access with Persistent Predicates.
WFLP
Sebastian Fischer
2006 J jnl
Resource-Based Web Applications.
Softwaretechnik-Trends
Sebastian Fischer
2006 — conf
Resource-based Web applications.
Trends in Functional Programming
Sebastian Fischer
2005 — conf
A functional logic database library.
WCFLP
Sebastian Fischer