Bernd Braßel

Publication Activity (10 Years)

Years Active: 2004-2013
Publications (10 Years): 0

Top Venues

PADL

University of Kiel (PHD)

Education History

University of Kiel

PHD

Publications

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

Bernd Braßel.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Bernd Braßel