BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
1 × Poland
1 × Spain
1 × Sweden
1 × United Kingdom
2 × Germany
2 × USA
4 × Italy
Collaborated with:
M.Hanus F.Huch S.Fischer S.Antoy G.Vidal H.Siegel J.Christiansen M.Müller B.Peemöller F.Reck O.Chitil J.Silva
Talks about:
function (8) program (8) logic (5) comput (3) lazi (3) transform (2) condit (2) trace (2) nondetermin (1) constraint (1)

Person: Bernd Braßel

DBLP DBLP: Bra=szlig=el:Bernd

Contributed to:

PADL 20132013
IFL 20082008
PADL 20082008
ICFP 20072007
IFL 20072007
LOPSTR 20072007
PPDP 20072007
LOPSTR 20062006
ICLP 20052005
LOPSTR 20042004
PADL 20042004
PPDP 20042004
PPDP 20032003

Wrote 13 papers:

PADL-2013-BrasselHPR #constraints #equation #functional #implementation
Implementing Equational Constraints in a Functional Language (BB, MH, BP, FR), pp. 125–140.
IFL-2008-BrasselF #functional #lazy evaluation #logic programming #source code
From Functional Logic Programs to Purely Functional Programs Preserving Laziness (BB, SF), pp. 25–42.
PADL-2008-BrasselHM #database #programming
High-Level Database Programming in Curry (BB, MH, MM), pp. 316–332.
ICFP-2007-BrasselHFHV #call-by #evaluation #lazy evaluation
Lazy call-by-value evaluation (BB, MH, SF, FH, GV), pp. 265–276.
IFL-2007-BrasselS #debugging #functional #lazy evaluation #source code
Debugging Lazy Functional Programs by Asking the Oracle (BB, HS), pp. 183–200.
LOPSTR-2007-BrasselC
Denotation by Transformation (BB, JC), pp. 90–105.
PPDP-2007-AntoyB
Computing with subspaces (SA, BB), pp. 121–130.
LOPSTR-2006-BrasselFH #functional #logic #program transformation
A Program Transformation for Tracing Functional Logic Computations (BB, SF, FH), pp. 160–176.
ICLP-2005-BrasselH #analysis #functional #logic programming #nondeterminism #source code
Nondeterminism Analysis of Functional Logic Programs (BB, MH), pp. 265–279.
LOPSTR-2004-BrasselHHSV #functional #logic programming #profiling #runtime #source code
Run-Time Profiling of Functional Logic Programs (BB, MH, FH, JS, GV), pp. 182–197.
PADL-2004-BrasselCHH #functional #logic
Observing Functional Logic Computations (BB, OC, MH, FH), pp. 193–208.
PPDP-2004-BrasselHHV #declarative #multi #semantics #source code
A semantics for tracing declarative multi-paradigm programs (BB, MH, FH, GV), pp. 179–190.
PPDP-2003-AntoyBH
Conditional narrowing without conditions (SA, BB, MH), pp. 20–31.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.