×

zbMATH — the first resource for mathematics

Braßel, Bernd

Compute Distance To:
Author ID: brassel.bernd Recent zbMATH articles by "Braßel, Bernd"
Published as: Braßel, Bernd; Brassel, Bernd; Brassel, B.
Documents Indexed: 12 Publications since 2004

Publications by Year

Citations contained in zbMATH Open

10 Publications have been cited 26 times in 19 Documents Cited by Year
On a tighter integration of functional and logic programming. Zbl 1137.68336
Braßel, Bernd; Huch, Frank
7
2007
Encapsulating non-determinism in functional logic computations. Zbl 1084.68511
Braßel, Bernd; Hanus, Michael; Huch, Frank
6
2004
Run-time profiling of functional logic programs. Zbl 1134.68329
Brassel, B.; Hanus, M.; Huch, F.; Silva, J.; Vidal, G.
3
2005
Nondeterminism analysis of functional logic programs. Zbl 1165.68326
Braßel, Bernd; Hanus, Michael
2
2005
Computing and visualizing closure objects using relation algebra and RelView. Zbl 1260.68477
Berghammer, Rudolf; Braßel, Bernd
2
2009
A program transformation for tracing functional logic computations. Zbl 1196.68038
Brassel, Bernd; Fischer, Sebastian; Huch, Frank
2
2007
Denotation by transformation. Towards obtaining a denotational semantics by transformation to point-free style. Zbl 1179.68032
Braßel, Bernd; Christiansen, Jan
1
2008
Declaring numbers. Zbl 1283.68133
Braßel, Bernd; Fischer, Sebastian; Huch, Frank
1
2008
A relation algebraic semantics for a lazy functional logic language. Zbl 1138.68345
Braßel, Bernd; Christiansen, Jan
1
2008
Transforming functional logic programs into monadic functional programs. Zbl 1327.68060
Braßel, Bernd; Fischer, Sebastian; Hanus, Michael; Reck, Fabian
1
2011
Transforming functional logic programs into monadic functional programs. Zbl 1327.68060
Braßel, Bernd; Fischer, Sebastian; Hanus, Michael; Reck, Fabian
1
2011
Computing and visualizing closure objects using relation algebra and RelView. Zbl 1260.68477
Berghammer, Rudolf; Braßel, Bernd
2
2009
Denotation by transformation. Towards obtaining a denotational semantics by transformation to point-free style. Zbl 1179.68032
Braßel, Bernd; Christiansen, Jan
1
2008
Declaring numbers. Zbl 1283.68133
Braßel, Bernd; Fischer, Sebastian; Huch, Frank
1
2008
A relation algebraic semantics for a lazy functional logic language. Zbl 1138.68345
Braßel, Bernd; Christiansen, Jan
1
2008
On a tighter integration of functional and logic programming. Zbl 1137.68336
Braßel, Bernd; Huch, Frank
7
2007
A program transformation for tracing functional logic computations. Zbl 1196.68038
Brassel, Bernd; Fischer, Sebastian; Huch, Frank
2
2007
Run-time profiling of functional logic programs. Zbl 1134.68329
Brassel, B.; Hanus, M.; Huch, F.; Silva, J.; Vidal, G.
3
2005
Nondeterminism analysis of functional logic programs. Zbl 1165.68326
Braßel, Bernd; Hanus, Michael
2
2005
Encapsulating non-determinism in functional logic computations. Zbl 1084.68511
Braßel, Bernd; Hanus, Michael; Huch, Frank
6
2004

Citations by Year