Bernd Brassel

Bernd Braßel

Christian-Albrechts-Universität zu Kiel

	2011
c19		Bernd Braßel, Michael Hanus, Björn Peemöller, Fabian Reck: KiCS2: A New Compiler from Curry to Haskell. WFLP 2011: 1-18
i2		Bernd Braßel, Michael Hanus, Björn Peemöller, Fabian Reck: Implementing Equational Constraints in a Functional Language. CoRR abs/1108.5609 (2011)
	2010
c18		Bernd Braßel, Sebastian Fischer, Michael Hanus, Fabian Reck: Transforming Functional Logic Programs into Monadic Functional Programs. WFLP 2010: 30-47
	2009
j5		Bernd Braßel: A Technique to Build Debugging Tools for Lazy Functional Logic Languages. Electr. Notes Theor. Comput. Sci. 246: 39-53 (2009)
c17		Rudolf Berghammer, Bernd Braßel: Computing and Visualizing Closure Objects Using Relation Algebra and RelView. CASC 2009: 29-44
	2008
j4		Bernd Braßel, Sebastian Fischer, Frank Huch: Declaring Numbers. Electr. Notes Theor. Comput. Sci. 216: 111-124 (2008)
c16		Bernd Braßel, Jan Christiansen: A Relation Algebraic Semantics for a Lazy Functional Logic Language. RelMiCS 2008: 37-53
c15		Bernd Braßel, Sebastian Fischer: From Functional Logic Programs to Purely Functional Programs Preserving Laziness. IFL 2008: 25-42
c14		Bernd Braßel, Michael Hanus, Marion Müller: High-Level Database Programming in Curry. PADL 2008: 316-332
	2007
j3		Bernd Braßel: A Framework for Interpreting Traces of Functional Logic Computations. Electr. Notes Theor. Comput. Sci. 177: 91-106 (2007)
c13		Bernd Braßel, Frank Huch: On a Tighter Integration of Functional and Logic Programming. APLAS 2007: 122-138
c12		Bernd Braßel, Michael Hanus, Sebastian Fischer, Frank Huch, Germán Vidal: Lazy call-by-value evaluation. ICFP 2007: 265-276
c11		Bernd Braßel, Holger Siegel: Debugging Lazy Functional Programs by Asking the Oracle. IFL 2007: 183-200
c10		Bernd Braßel, Jan Christiansen: Denotation by Transformation. LOPSTR 2007: 90-105
c9		Sergio Antoy, Bernd Braßel: Computing with subspaces. PPDP 2007: 121-130
c8		Bernd Brassel, Frank Huch: The Kiel Curry System KiCS. INAP/WLP 2007: 195-205
i1		Bernd Braßel, Michael Hanus, Marion Müller: Compiling ER Specifications into Declarative Programs. CoRR abs/0711.0348 (2007)
	2006
j2		Bernd Braßel: Searching Bugs by Visualizing Computations. Softwaretechnik-Trends 26(2) (2006)
c7		Bernd Brassel, Sebastian Fischer, Frank Huch: A Program Transformation for Tracing Functional Logic Computations. LOPSTR 2006: 160-176
	2005
c6		Bernd Braßel, Michael Hanus: Nondeterminism Analysis of Functional Logic Programs. ICLP 2005: 265-279
c5		Bernd Braßel, Frank Huch: Translating curry to haskell system demo. WCFLP 2005: 60-65
	2004
j1		Bernd Braßel, Michael Hanus, Frank Huch: Encapsulating Non-Determinism in Functional Logic Computations. Journal of Functional and Logic Programming 2004 (2004)
c4		Bernd Brassel, Michael Hanus, Frank Huch, Josep Silva, Germán Vidal: Run-Time Profiling of Functional Logic Programs. LOPSTR 2004: 182-197
c3		Bernd Brassel, Olaf Chitil, Michael Hanus, Frank Huch: Observing Functional Logic Computations. PADL 2004: 193-208
c2		Bernd Brassel, Michael Hanus, Frank Huch, Germán Vidal: A semantics for tracing declarative multi-paradigm programs. PPDP 2004: 179-190
	2003
c1		Sergio Antoy, Bernd Brassel, Michael Hanus: Conditional narrowing without conditions. PPDP 2003: 20-31

Coauthor Index

Last update Wed May 22 20:02:08 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page