Bernd Braßel

22 papers A 1B 3C 4Journal 4Unranked 9
YearRankTypeTitle / Venue / Authors
2013 C conf
Implementing Equational Constraints in a Functional Language.
PADL
Bernd Braßel, Michael Hanus, Björn Peemöller, Fabian Reck
2011 J jnl
Implementing Equational Constraints in a Functional Language
CoRR
Bernd Braßel, Michael Hanus, Björn Peemöller, Fabian Reck
2011 — conf
KiCS2: A New Compiler from Curry to Haskell.
WFLP
Bernd Braßel, Michael Hanus, Björn Peemöller, Fabian Reck
2010 — —
Implementing Functional Logic Programs by Translation into Purely Functional Programs.
Bernd Braßel
2010 — conf
Transforming Functional Logic Programs into Monadic Functional Programs.
WFLP
Bernd Braßel, Sebastian Fischer, Michael Hanus, Fabian Reck
2009 B conf
Computing and Visualizing Closure Objects Using Relation Algebra and RelView.
CASC
Rudolf Berghammer, Bernd Braßel
2008 — conf
A Relation Algebraic Semantics for a Lazy Functional Logic Language.
RelMiCS
Bernd Braßel, Jan Christiansen
2008 — conf
A Technique to Build Debugging Tools for Lazy Functional Logic Languages.
WFLP
Bernd Braßel
2008 — conf
From Functional Logic Programs to Purely Functional Programs Preserving Laziness.
IFL
Bernd Braßel, Sebastian Fischer
2008 C conf
High-Level Database Programming in Curry.
PADL
Bernd Braßel, Michael Hanus, Marion Müller
2007 J jnl
Compiling ER Specifications into Declarative Programs
CoRR
Bernd Braßel, Michael Hanus, Marion Müller
2007 C conf
Computing with subspaces.
PPDP
Sergio Antoy, Bernd Braßel
2007 — conf
Debugging Lazy Functional Programs by Asking the Oracle.
IFL
Bernd Braßel, Holger Siegel
2007 — conf
Declaring Numbers.
WFLP@RDP
Bernd Braßel, Sebastian Fischer, Frank Huch
2007 C conf
Denotation by Transformation.
LOPSTR
Bernd Braßel, Jan Christiansen
2007 A conf
Lazy call-by-value evaluation.
ICFP
Bernd Braßel, Michael Hanus, Sebastian Fischer, Frank Huch, Germán Vidal
2007 B conf
On a Tighter Integration of Functional and Logic Programming.
APLAS
Bernd Braßel, Frank Huch
2006 — conf
A Framework for Interpreting Traces of Functional Logic Computations.
WFLP
Bernd Braßel
2006 J jnl
Searching Bugs by Visualizing Computations.
Softwaretechnik-Trends
Bernd Braßel
2005 B conf
Nondeterminism Analysis of Functional Logic Programs.
ICLP
Bernd Braßel, Michael Hanus
2005 — conf
Translating curry to haskell system demo.
WCFLP
Bernd Braßel, Frank Huch
2004 J jnl
Encapsulating Non-Determinism in Functional Logic Computations.
J. Funct. Log. Program.
Bernd Braßel, Michael Hanus, Frank Huch