Frank Huch

发表

Translating curry to haskell system demo

Bernd Brassel, Frank Huch, F. Huch, 2005, WCFLP '05.

A play on regular expressions: functional pearl

Thomas Wilke, Sebastian Fischer, Frank Huch, 2010, ICFP '10.

Haskell Transaktionen in verteilten Systemen

Frank Huch, Frank Kupke, 2006, Softwaretechnik-Trends.

Runtime Verification of Concurrent Haskell (work in progress)

Volker Stolz, Frank Huch, V. Stolz, 2003 .

Operational Semantics for Lazy Functional Logic Programs

Germán Vidal, Elvira Albert, Michael Hanus, 2002 .

Runtime Verification of Concurrent Haskell Programs

Volker Stolz, Frank Huch, V. Stolz, 2005, RV@ETAPS.

A Deterministic Operational Semantics for Functional Logic Programs

Germán Vidal, Elvira Albert, Michael Hanus, 2002, APPIA-GULP-PRODE.

Verification of Erlang programs using abstract interpretation and model checking

Frank Huch, F. Huch, 1999, ICFP '99.

A Program Transformation for Tracing Functional Logic Computations

Sebastian Fischer, Bernd Brassel, Frank Huch, 2006, LOPSTR.

Proceedings of the 2008 international workshop on Functional and declarative programming in education, FDPE@ICFP 2008, Victoria, BC, Canada, September 20 - 28, 2008

Frank Huch, Adam Parkin, 2008, FDPE@ICFP.

An Operational Semantics for Declarative Multi-Paradigm Languages

Germán Vidal, Elvira Albert, Michael Hanus, 2002, WRS.

Model checking Erlang programs - abstracting the context-free structure

Frank Huch, 2001, Electron. Notes Theor. Comput. Sci..

Implementation of Port-based Distributed Haskell

Volker Stolz, Frank Huch, 2001 .

Declaring Numbers

Sebastian Fischer, Bernd Brassel, Frank Huch, 2008, WFLP@RDP.

On a Tighter Integration of Functional and Logic Programming

Bernd Brassel, Frank Huch, F. Huch, 2007, APLAS.

Learning programming with erlang

Frank Huch, 2007, ERLANG '07.

An Open System to Support Web-based Learning

Michael Hanus, Frank Huch, M. Hanus, 2003 .

Towards translating embedded Curry to C

Michael Hanus, Frank Huch, Klaus Höppner, 2003, WFLP.

Proceedings of the 16th international conference on Implementation and Application of Functional Languages

Clemens Grelck, Phil Trinder, Greg Michaelson, 2004 .

A purely functional implementation of ROBDDs in Haskell

Frank Huch, Jan Christiansen, F. Huch, 2006, Trends in Functional Programming.

The Interactive Curry Observation Debugger iCODE

Frank Huch, Parissa H. Sadeghi, F. Huch, 2007, WFLP.

Monadic, Prompt Lazy Assertions in Haskell

Olaf Chitil, Frank Huch, 2007, APLAS.

Concurrency abstractions for Concurrent Haskell

Volker Stolz, Frank Huch, 2002 .

Composable Memory Transactions in Concurrent Haskell

Frank Huch, Frank Kupke, F. Huch, 2006 .

Concurrent Semantics for the Web Services Specification Language DAML-S

Anupriya Ankolekar, Katia P. Sycara, Frank Huch, 2002, COORDINATION.

Implementation and Application of Functional Languages, 17th International Workshop, (IFL 2005).

Clemens Grelck, Frank Huch, Andrew Butterfield, 2006 .

Searching for deadlocks while debugging concurrent haskell programs

Frank Huch, Jan Christiansen, 2004, ICFP '04.

A Pattern Logic for Prompt Lazy Assertions

Olaf Chitil, Frank Huch, 2007 .

5. Arbeitstagung Programmiersprachen (ATPS 2012)

Frank Huch, Janis Voigtländer, 2012, Software Engineering.

Implementation and Application of Functional Languages, 18th International Symp osium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers

Clemens Grelck, Frank Huch, Greg Michaelson, 2007, IFL.

The Interactive Curry Observation Debugger

Frank Huch, Parissa H. Sadeghi, F. Huch, 2007 .

Encapsulating Non-Determinism in Functional Logic Computations

Michael Hanus, Bernd Brassel, Frank Huch, 2004, J. Funct. Log. Program..

Lazy call-by-value evaluation

Germán Vidal, Sebastian Fischer, Michael Hanus, 2007, ICFP '07.

Run-Time Profiling of Functional Logic Programs

Germán Vidal, Michael Hanus, Bernd Brassel, 2004, LOPSTR.

The Kiel Curry System KiCS

Bernd Brassel, Frank Huch, Bernd Brassel, 2009, INAP/WLP.

Dynamische Deadlock-Suche in nebenläufigen funktionalen Programmen

Frank Huch, 2006, Softwaretechnik-Trends.

Model Checking Erlang Programs - LTL-Propositions and Abstract Interpretation

Frank Huch, F. Huch, 2004, GI Jahrestagung.

Operational semantics for declarative multi-paradigm languages

Germán Vidal, Elvira Albert, Michael Hanus, 2005, J. Symb. Comput..

Observing Functional Logic Computations

Michael Hanus, Olaf Chitil, Bernd Brassel, 2004, PADL.

Operational Semantics for Functional Logic Languages

Germán Vidal, Elvira Albert, Michael Hanus, 2002, WFLP.

Model Checking Erlang Programs - Abstracting Recursive Function Calls

Frank Huch, 2002, Electron. Notes Theor. Comput. Sci..

Erlang-Style Distributed Haskell

Frank Huch, 1999 .

A semantics for tracing declarative multi-paradigm programs

Germán Vidal, Michael Hanus, Bernd Brassel, 2004, PPDP '04.

Distributed Programming in Haskell with Ports

Ulrich Norbisrath, Frank Huch, F. Huch, 2000, IFL.

ObjectCurry: An Object-Oriented Extension of the Declarative Multi-Paradigm Language Curry

Michael Hanus, Frank Huch, Philipp Niederau, 2000, IFL.

Implementation and Application of Functional Languages, 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers

Clemens Grelck, Frank Huch, Greg Michaelson, 2005, IFL.

A High-Level Implementation of Composable Memory Transactions in Concurrent Haskell

Frank Huch, Frank Kupke, F. Huch, 2005, IFL.

Concurrent Execution Semantics of DAML-S with Subtypes

Anupriya Ankolekar, Katia P. Sycara, Frank Huch, 2002, International Semantic Web Conference.

Implementation and Application of Functional Languages, 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers

Clemens Grelck, Frank Huch, Andrew Butterfield, 2006, IFL.

Typeview: A Tool for Understanding Type Errors

Axel Simon, Olaf Chitil, Frank Huch, 2000 .

Implementation and Application of Functional Languages, 16th International Workshop (IFL 2004).

Clemens Grelck, Frank Huch, Greg Michaelson, 2005 .

From functional to object-oriented programming: a smooth transition for beginners

Frank Huch, Rudolf Berghammer, 2005, FDPE '05.

A Pattern Logic for Prompt Lazy Assertions in Haskell

Olaf Chitil, Frank Huch, 2006, IFL.

Reduction strategies in rewriting and programming

Germán Vidal, Elvira Albert, Michael Hanus, 2005 .