Bernd Brassel

According to our database, Bernd Brassel authored at least 27 papers between 2003 and 2013.

Collaborative distances:

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

2013

Implementing Equational Constraints in a Functional Language.

Bernd Braßel, Michael Hanus, Björn Peemöller, Fabian Reck

Proceedings of the Practical Aspects of Declarative Languages, 2013

2011

KiCS2: A New Compiler from Curry to Haskell.

Bernd Braßel, Michael Hanus, Björn Peemöller, Fabian Reck

Proceedings of the Functional and Constraint Logic Programming, 2011

2010

Implementing Functional Logic Programs by Translation into Purely Functional Programs.

Bernd Braßel

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

2009

Computing and Visualizing Closure Objects Using Relation Algebra and RelView.

Rudolf Berghammer, Bernd Braßel

Proceedings of the Computer Algebra in Scientific Computing, 11th International Workshop, 2009

2008

A Technique to Build Debugging Tools for Lazy Functional Logic Languages.

Bernd Braßel

Proceedings of the 17th International Workshop on Functional and (Constraint) Logic Programming, 2008

High-Level Database Programming in Curry.

Bernd Braßel, Michael Hanus, Marion Müller

Proceedings of the Practical Aspects of Declarative Languages, 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

A Relation Algebraic Semantics for a Lazy Functional Logic Language.

Bernd Braßel, Jan Christiansen

Proceedings of the Relations and Kleene Algebra in Computer Science, 2008

2007

Declaring Numbers.

Bernd Braßel, Sebastian Fischer, Frank Huch

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

Compiling ER Specifications into Declarative Programs

Bernd Braßel, Michael Hanus, Marion Müller

CoRR, 2007

The Kiel Curry System KiCS.

Bernd Brassel, Frank Huch

Proceedings of the Applications of Declarative Programming and Knowledge Management, 2007

Computing with subspaces.

Sergio Antoy, Bernd Braßel

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

Denotation by Transformation.

Bernd Braßel, Jan Christiansen

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

Debugging Lazy Functional Programs by Asking the Oracle.

Bernd Braßel, Holger Siegel

Proceedings of the Implementation and Application of Functional Languages, 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

On a Tighter Integration of Functional and Logic Programming.

Bernd Braßel, Frank Huch

Proceedings of the Programming Languages and Systems, 5th Asian Symposium, 2007

2006

Searching Bugs by Visualizing Computations.

Bernd Braßel

Softwaretechnik-Trends, 2006

A Framework for Interpreting Traces of Functional Logic Computations.

Bernd Braßel

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

Translating curry to haskell system demo.

Bernd Braßel, Frank Huch

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

Nondeterminism Analysis of Functional Logic Programs.

Bernd Braßel, Michael Hanus

Proceedings of the Logic Programming, 21st International Conference, 2005

2004

Encapsulating Non-Determinism in Functional Logic Computations.

Bernd Braßel, Michael Hanus, Frank Huch

J. Funct. Log. Program., 2004

A semantics for tracing declarative multi-paradigm programs.

Bernd Brassel, Michael Hanus, Frank Huch, Germán Vidal

Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2004

Observing Functional Logic Computations.

Bernd Brassel, Olaf Chitil, Michael Hanus, Frank Huch

Proceedings of the Practical Aspects of Declarative Languages, 6th International Symposium, 2004

Run-Time Profiling of Functional Logic Programs.

Bernd Brassel, Michael Hanus, Frank Huch, Josep Silva, Germán Vidal

Proceedings of the Logic Based Program Synthesis and Transformation, 2004

2003

Conditional narrowing without conditions.

Sergio Antoy, Bernd Brassel, Michael Hanus

Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2003