![]() | ![]() |
Bernd Braßel
Christian-Albrechts-Universität zu Kiel
List of publications from the DBLP Bibliography Server - FAQ
2008 | ||
---|---|---|
17 | EE | Bernd Braßel, Michael Hanus, Marion Müller: High-Level Database Programming in Curry. PADL 2008: 316-332 |
16 | EE | Bernd Braßel, Jan Christiansen: A Relation Algebraic Semantics for a Lazy Functional Logic Language. RelMiCS 2008: 37-53 |
15 | EE | Bernd Braßel, Sebastian Fischer, Frank Huch: Declaring Numbers. Electr. Notes Theor. Comput. Sci. 216: 111-124 (2008) |
2007 | ||
14 | EE | Bernd Braßel, Frank Huch: On a Tighter Integration of Functional and Logic Programming. APLAS 2007: 122-138 |
13 | EE | Bernd Braßel, Michael Hanus, Sebastian Fischer, Frank Huch, Germán Vidal: Lazy call-by-value evaluation. ICFP 2007: 265-276 |
12 | EE | Bernd Braßel, Holger Siegel: Debugging Lazy Functional Programs by Asking the Oracle. IFL 2007: 183-200 |
11 | EE | Bernd Braßel, Jan Christiansen: Denotation by Transformation. LOPSTR 2007: 90-105 |
10 | EE | Sergio Antoy, Bernd Braßel: Computing with subspaces. PPDP 2007: 121-130 |
9 | EE | Bernd Braßel, Michael Hanus, Marion Müller: Compiling ER Specifications into Declarative Programs CoRR abs/0711.0348: (2007) |
8 | EE | Bernd Braßel: A Framework for Interpreting Traces of Functional Logic Computations. Electr. Notes Theor. Comput. Sci. 177: 91-106 (2007) |
2006 | ||
7 | EE | Bernd Brassel, Sebastian Fischer, Frank Huch: A Program Transformation for Tracing Functional Logic Computations. LOPSTR 2006: 160-176 |
2005 | ||
6 | EE | Bernd Braßel, Michael Hanus: Nondeterminism Analysis of Functional Logic Programs. ICLP 2005: 265-279 |
5 | EE | Bernd Braßel, Frank Huch: Translating curry to haskell system demo. WCFLP 2005: 60-65 |
2004 | ||
4 | EE | Bernd Brassel, Michael Hanus, Frank Huch, Josep Silva, Germán Vidal: Run-Time Profiling of Functional Logic Programs. LOPSTR 2004: 182-197 |
3 | EE | Bernd Brassel, Olaf Chitil, Michael Hanus, Frank Huch: Observing Functional Logic Computations. PADL 2004: 193-208 |
2 | EE | Bernd Brassel, Michael Hanus, Frank Huch, Germán Vidal: A semantics for tracing declarative multi-paradigm programs. PPDP 2004: 179-190 |
2003 | ||
1 | EE | Sergio Antoy, Bernd Brassel, Michael Hanus: Conditional narrowing without conditions. PPDP 2003: 20-31 |
1 | Sergio Antoy | [1] [10] |
2 | Olaf Chitil | [3] |
3 | Jan Christiansen | [11] [16] |
4 | Sebastian Fischer | [7] [13] [15] |
5 | Michael Hanus | [1] [2] [3] [4] [6] [9] [13] [17] |
6 | Frank Huch | [2] [3] [4] [5] [7] [13] [14] [15] |
7 | Marion Müller | [9] [17] |
8 | Holger Siegel | [12] |
9 | Josep Silva | [4] |
10 | Germán Vidal | [2] [4] [13] |