Bernd Brassel

Affiliations:
  • Christian-Albrechts-Universität zu Kiel


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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2013
Implementing Equational Constraints in a Functional Language.
Proceedings of the Practical Aspects of Declarative Languages, 2013

2011
KiCS2: A New Compiler from Curry to Haskell.
Proceedings of the Functional and Constraint Logic Programming, 2011

2010
Implementing Functional Logic Programs by Translation into Purely Functional Programs.
PhD thesis, 2010

Transforming Functional Logic Programs into Monadic Functional Programs.
Proceedings of the Functional and Constraint Logic Programming, 2010

2009
A Technique to Build Debugging Tools for Lazy Functional Logic Languages.
Electron. Notes Theor. Comput. Sci., 2009

Computing and Visualizing Closure Objects Using Relation Algebra and RelView.
Proceedings of the Computer Algebra in Scientific Computing, 11th International Workshop, 2009

2008
Declaring Numbers.
Electron. Notes Theor. Comput. Sci., 2008

High-Level Database Programming in Curry.
Proceedings of the Practical Aspects of Declarative Languages, 2008

From Functional Logic Programs to Purely Functional Programs Preserving Laziness.
Proceedings of the Implementation and Application of Functional Languages, 2008

A Relation Algebraic Semantics for a Lazy Functional Logic Language.
Proceedings of the Relations and Kleene Algebra in Computer Science, 2008

2007
A Framework for Interpreting Traces of Functional Logic Computations.
Electron. Notes Theor. Comput. Sci., 2007

Compiling ER Specifications into Declarative Programs
CoRR, 2007

The Kiel Curry System KiCS.
Proceedings of the Applications of Declarative Programming and Knowledge Management, 2007

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

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

Debugging Lazy Functional Programs by Asking the Oracle.
Proceedings of the Implementation and Application of Functional Languages, 2007

Lazy call-by-value evaluation.
Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, 2007

On a Tighter Integration of Functional and Logic Programming.
Proceedings of the Programming Languages and Systems, 5th Asian Symposium, 2007

2006
Searching Bugs by Visualizing Computations.
Softwaretechnik-Trends, 2006

A Program Transformation for Tracing Functional Logic Computations.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2006

2005
Translating curry to haskell system demo.
Proceedings of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming, 2005

Nondeterminism Analysis of Functional Logic Programs.
Proceedings of the Logic Programming, 21st International Conference, 2005

2004
Encapsulating Non-Determinism in Functional Logic Computations.
J. Funct. Log. Program., 2004

A semantics for tracing declarative multi-paradigm programs.
Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2004

Observing Functional Logic Computations.
Proceedings of the Practical Aspects of Declarative Languages, 6th International Symposium, 2004

Run-Time Profiling of Functional Logic Programs.
Proceedings of the Logic Based Program Synthesis and Transformation, 2004

2003
Conditional narrowing without conditions.
Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2003


  Loading...