Frank Huch

Frank Huch, Janis Voigtländer: 5. Arbeitstagung Programmiersprachen (ATPS 2012). Software Engineering 2012: 195

Sebastian Fischer, Frank Huch, Thomas Wilke: A play on regular expressions: functional pearl. ICFP 2010: 357-368

Bernd Braßel, Sebastian Fischer, Frank Huch: Declaring Numbers. Electr. Notes Theor. Comput. Sci. 216: 111-124 (2008)

Parissa H. Sadeghi, Frank Huch: The Interactive Curry Observation Debugger iCODE. Electr. Notes Theor. Comput. Sci. 177: 107-122 (2007)

Olaf Chitil, Frank Huch: Monadic, Prompt Lazy Assertions in Haskell. APLAS 2007: 38-53

Bernd Braßel, Frank Huch: On a Tighter Integration of Functional and Logic Programming. APLAS 2007: 122-138

Frank Huch: Learning programming with Erlang. Erlang Workshop 2007: 93-99

Bernd Braßel, Michael Hanus, Sebastian Fischer, Frank Huch, Germán Vidal: Lazy call-by-value evaluation. ICFP 2007: 265-276

Bernd Brassel, Frank Huch: The Kiel Curry System KiCS. INAP/WLP 2007: 195-205

Frank Huch: Dynamische Deadlock-Suche in nebenläufigen funktionalen Programmen. Softwaretechnik-Trends 26(2) (2006)

Frank Huch, Frank Kupke: Haskell Transaktionen in verteilten Systemen. Softwaretechnik-Trends 26(2) (2006)

Olaf Chitil, Frank Huch: A Pattern Logic for Prompt Lazy Assertions in Haskell. IFL 2006: 126-144

Bernd Brassel, Sebastian Fischer, Frank Huch: A Program Transformation for Tracing Functional Logic Computations. LOPSTR 2006: 160-176

Jan Christiansen, Frank Huch: A purely functional implementation of ROBDDs in Haskell. Trends in Functional Programming 2006: 55-71

Andrew Butterfield, Clemens Grelck, Frank Huch (Eds.): Implementation and Application of Functional Languages, 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers. Lecture Notes in Computer Science 4015, Springer 2006, isbn 3-540-69174-X

Volker Stolz, Frank Huch: Runtime Verification of Concurrent Haskell Programs. Electr. Notes Theor. Comput. Sci. 113: 201-216 (2005)

Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal: Operational semantics for declarative multi-paradigm languages. J. Symb. Comput. 40(1): 795-829 (2005)

Frank Huch, Frank Kupke: A High-Level Implementation of Composable Memory Transactions in Concurrent Haskell. IFL 2005: 124-141

Bernd Braßel, Frank Huch: Translating curry to haskell system demo. WCFLP 2005: 60-65

Clemens Grelck, Frank Huch, Greg Michaelson, Philip W. Trinder (Eds.): Implementation and Application of Functional Languages, 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3474, Springer 2005, isbn 3-540-26094-3

Bernd Braßel, Michael Hanus, Frank Huch: Encapsulating Non-Determinism in Functional Logic Computations. Journal of Functional and Logic Programming 2004 (2004)

Frank Huch: Model Checking Erlang Programs - LTL-Propositions and Abstract Interpretation. GI Jahrestagung (2) 2004: 438-448

Jan Christiansen, Frank Huch: Searching for deadlocks while debugging concurrent haskell programs. ICFP 2004: 28-39

Bernd Brassel, Michael Hanus, Frank Huch, Josep Silva, Germán Vidal: Run-Time Profiling of Functional Logic Programs. LOPSTR 2004: 182-197

Bernd Brassel, Olaf Chitil, Michael Hanus, Frank Huch: Observing Functional Logic Computations. PADL 2004: 193-208

Bernd Brassel, Michael Hanus, Frank Huch, Germán Vidal: A semantics for tracing declarative multi-paradigm programs. PPDP 2004: 179-190

Michael Hanus, Klaus Höppner, Frank Huch: Towards translating embedded Curry to C. Electr. Notes Theor. Comput. Sci. 86(3): 35-51 (2003)

Frank Huch: Model Checking Erlang Programs - Abstracting Recursive Function Calls. Electr. Notes Theor. Comput. Sci. 64: 195-219 (2002)

Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal: An Operational Semantics for Declarative Multi-Paradigm Languages. Electr. Notes Theor. Comput. Sci. 70(6): 62-83 (2002)

Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal: Operational Semantics for Functional Logic Languages. Electr. Notes Theor. Comput. Sci. 76: 1-19 (2002)

Anupriya Ankolekar, Frank Huch, Katia P. Sycara: Concurrent Semantics for the Web Services Specification Language DAML-S. COORDINATION 2002: 14-21

Anupriya Ankolekar, Frank Huch, Katia P. Sycara: Concurrent Execution Semantics of DAML-S with Subtypes. International Semantic Web Conference 2002: 318-332

Frank Huch: Model checking Erlang programs - abstracting the context-free structure. Electr. Notes Theor. Comput. Sci. 55(3): 304-321 (2001)

Michael Hanus, Frank Huch, Philipp Niederau: ObjectCurry: An Object-Oriented Extension of the Declarative Multi-Paradigm Language Curry. IFL 2000: 89-106

Frank Huch, Ulrich Norbisrath: Distributed Programming in Haskell with Ports. IFL 2000: 107-121

Frank Huch: Verification of Erlang Programs using Abstract Interpretation and Model Mhecking. ICFP 1999: 261-272