×

zbMATH — the first resource for mathematics

Huch, Frank

Compute Distance To:
Author ID: huch.frank Recent zbMATH articles by "Huch, Frank"
Published as: Huch, Frank; Huch, F.
Documents Indexed: 19 Publications since 1999, including 2 Books

Publications by Year

Citations contained in zbMATH Open

13 Publications have been cited 46 times in 32 Documents Cited by Year
Operational semantics for declarative multi-paradigm languages. Zbl 1129.68042
Albert, Elvira; Hanus, Michael; Huch, Frank; Oliver, Javier; Vidal, Germán
15
2005
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
A play on regular expressions: functional pearl. Zbl 1323.68111
Fischer, Sebastian; Huch, Frank; Wilke, Thomas
4
2010
Run-time profiling of functional logic programs. Zbl 1134.68329
Brassel, B.; Hanus, M.; Huch, F.; Silva, J.; Vidal, G.
3
2005
Verification of Erlang programs using abstract interpretation and model checking. Zbl 1345.68060
Huch, Frank
3
1999
A program transformation for tracing functional logic computations. Zbl 1196.68038
Brassel, Bernd; Fischer, Sebastian; Huch, Frank
2
2007
Declaring numbers. Zbl 1283.68133
Braßel, Bernd; Fischer, Sebastian; Huch, Frank
1
2008
Searching for deadlocks while debugging Concurrent Haskell programs. Zbl 1323.68104
Christiansen, Jan; Huch, Frank
1
2004
Towards translating embedded Curry to C. Zbl 1270.68326
Hanus, Michael; Höppner, Klaus; Huch, Frank
1
2003
ObjectCurry: an object-oriented extension of the declarative multi-paradigm language curry. Zbl 0977.68869
Hanus, Michael; Huch, Frank; Niederau, Philipp
1
2001
Distributed programming in Haskell with ports. Zbl 0977.68643
Huch, Frank; Norbisrath, Ulrich
1
2001
Model checking Erlang programs – abstracting recursive function calls. Zbl 1268.68112
Huch, Frank
1
2002
A play on regular expressions: functional pearl. Zbl 1323.68111
Fischer, Sebastian; Huch, Frank; Wilke, Thomas
4
2010
Declaring numbers. Zbl 1283.68133
Braßel, Bernd; Fischer, Sebastian; Huch, Frank
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
Operational semantics for declarative multi-paradigm languages. Zbl 1129.68042
Albert, Elvira; Hanus, Michael; Huch, Frank; Oliver, Javier; Vidal, Germán
15
2005
Run-time profiling of functional logic programs. Zbl 1134.68329
Brassel, B.; Hanus, M.; Huch, F.; Silva, J.; Vidal, G.
3
2005
Encapsulating non-determinism in functional logic computations. Zbl 1084.68511
Braßel, Bernd; Hanus, Michael; Huch, Frank
6
2004
Searching for deadlocks while debugging Concurrent Haskell programs. Zbl 1323.68104
Christiansen, Jan; Huch, Frank
1
2004
Towards translating embedded Curry to C. Zbl 1270.68326
Hanus, Michael; Höppner, Klaus; Huch, Frank
1
2003
Model checking Erlang programs – abstracting recursive function calls. Zbl 1268.68112
Huch, Frank
1
2002
ObjectCurry: an object-oriented extension of the declarative multi-paradigm language curry. Zbl 0977.68869
Hanus, Michael; Huch, Frank; Niederau, Philipp
1
2001
Distributed programming in Haskell with ports. Zbl 0977.68643
Huch, Frank; Norbisrath, Ulrich
1
2001
Verification of Erlang programs using abstract interpretation and model checking. Zbl 1345.68060
Huch, Frank
3
1999

Citations by Year