Search the dblp DataBase

Publications of Author

1. Bernd Braßel, Michael Hanus
   Nondeterminism Analysis of Functional Logic Programs. [Citation Graph (0, 0)][DBLP]
   ICLP, 2005, pp:265-279 [Conf]
   
2. Bernd Braßel
   A Framework for Interpreting Traces of Functional Logic Computations. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:177, n:, pp:91-106 [Journal]
   
3. Bernd Braßel, Michael Hanus, Sebastian Fischer, Frank Huch, Germán Vidal
   Lazy call-by-value evaluation. [Citation Graph (0, 0)][DBLP]
   ICFP, 2007, pp:265-276 [Conf]
   
4. Sergio Antoy, Bernd Braßel
   Computing with subspaces. [Citation Graph (0, 0)][DBLP]
   PPDP, 2007, pp:121-130 [Conf]
   
5. Bernd Braßel, Frank Huch
   Translating curry to haskell system demo. [Citation Graph (0, 0)][DBLP]
   WCFLP, 2005, pp:60-65 [Conf]
   
6. 
   A Relation Algebraic Semantics for a Lazy Functional Logic Language. [Citation Graph (, )][DBLP]
   
   
7. 
   On a Tighter Integration of Functional and Logic Programming. [Citation Graph (, )][DBLP]
   
   
8. 
   Computing and Visualizing Closure Objects Using Relation Algebra and RelView. [Citation Graph (, )][DBLP]
   
   
9. 
   Debugging Lazy Functional Programs by Asking the Oracle. [Citation Graph (, )][DBLP]
   
   
10. 
    Denotation by Transformation. [Citation Graph (, )][DBLP]
    
    
11. 
    High-Level Database Programming in Curry. [Citation Graph (, )][DBLP]
    
    
12. 
    Compiling ER Specifications into Declarative Programs [Citation Graph (, )][DBLP]
    
    
13. 
    Declaring Numbers. [Citation Graph (, )][DBLP]
    
    
14. 
    A Technique to Build Debugging Tools for Lazy Functional Logic Languages. [Citation Graph (, )][DBLP]