Frank Huch

According to our database, Frank Huch authored at least 38 papers between 1999 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Generating syntaxfree development environments for real world programming languages.

Marcus Riemer, Frank Huch

Proceedings of the 11th Computer Science Education Research Conference, 2022

2012

5. Arbeitstagung Programmiersprachen (ATPS 2012).

Frank Huch, Janis Voigtländer

Proceedings of the Software Engineering 2012: Fachtagung des GI-Fachbereichs Softwaretechnik, 27. Februar, 2012

2010

A play on regular expressions: functional pearl.

Sebastian Fischer, Frank Huch, Thomas Wilke

Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010

2007

Declaring Numbers.

Bernd Braßel, Sebastian Fischer, Frank Huch

Proceedings of the 16th International Workshop on Functional and (Constraint) Logic Programming, 2007

The Kiel Curry System KiCS.

Bernd Brassel, Frank Huch

Proceedings of the Applications of Declarative Programming and Knowledge Management, 2007

Lazy call-by-value evaluation.

Bernd Braßel, Michael Hanus, Sebastian Fischer, Frank Huch, Germán Vidal

Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, 2007

Learning programming with Erlang.

Frank Huch

Proceedings of the 2007 ACM SIGPLAN Workshop on Erlang, Freiburg, Germany, October 5, 2007, 2007

Monadic, Prompt Lazy Assertions in Haskell.

Olaf Chitil, Frank Huch

Proceedings of the Programming Languages and Systems, 5th Asian Symposium, 2007

On a Tighter Integration of Functional and Logic Programming.

Bernd Braßel, Frank Huch

Proceedings of the Programming Languages and Systems, 5th Asian Symposium, 2007

2006

Haskell Transaktionen in verteilten Systemen.

Frank Huch, Frank Kupke

Softwaretechnik-Trends, 2006

Dynamische Deadlock-Suche in nebenläufigen funktionalen Programmen.

Frank Huch

Softwaretechnik-Trends, 2006

The Interactive Curry Observation Debugger iCODE.

Parissa H. Sadeghi, Frank Huch

Proceedings of the 15th Workshop on Functional and (Constraint) Logic Programming, 2006

A purely functional implementation of ROBDDs in Haskell.

Jan Christiansen, Frank Huch

Proceedings of the Revised Selected Papers from the Seventh Symposium on Trends in Functional Programming, 2006

A Program Transformation for Tracing Functional Logic Computations.

Bernd Brassel, Sebastian Fischer, Frank Huch

Proceedings of the Logic-Based Program Synthesis and Transformation, 2006

A Pattern Logic for Prompt Lazy Assertions in Haskell.

Olaf Chitil, Frank Huch

Proceedings of the Implementation and Application of Functional Languages, 2006

2005

Operational semantics for declarative multi-paradigm languages.

Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal

J. Symb. Comput., 2005

Translating curry to haskell system demo.

Bernd Braßel, Frank Huch

Proceedings of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming, 2005

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

Frank Huch, Frank Kupke

Proceedings of the Implementation and Application of Functional Languages, 2005

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

Rudolf Berghammer, Frank Huch

Proceedings of the 2005 workshop on Functional and Declarative Programming in Education, 2005

2004

Encapsulating Non-Determinism in Functional Logic Computations.

Bernd Braßel, Michael Hanus, Frank Huch

J. Funct. Log. Program., 2004

Runtime Verification of Concurrent Haskell Programs.

Volker Stolz, Frank Huch

Proceedings of the Fourth Workshop on Runtime Verification, 2004

A semantics for tracing declarative multi-paradigm programs.

Bernd Brassel, Michael Hanus, Frank Huch, Germán Vidal

Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2004

Observing Functional Logic Computations.

Bernd Brassel, Olaf Chitil, Michael Hanus, Frank Huch

Proceedings of the Practical Aspects of Declarative Languages, 6th International Symposium, 2004

Run-Time Profiling of Functional Logic Programs.

Bernd Brassel, Michael Hanus, Frank Huch, Josep Silva, Germán Vidal

Proceedings of the Logic Based Program Synthesis and Transformation, 2004

Searching for deadlocks while debugging concurrent haskell programs.

Jan Christiansen, Frank Huch

Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, 2004

Model Checking Erlang Programs - LTL-Propositions and Abstract Interpretation.

Frank Huch

Proceedings of the 34. Jahrestagung der Gesellschaft für Informatik, 2004

2003

Towards translating embedded Curry to C.

Michael Hanus, Klaus Höppner, Frank Huch

Proceedings of the 12th International Workshop on Functional and Constraint Logic Programming, 2003

2002

Operational Semantics for Functional Logic Languages.

Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal

Proceedings of the 11th International Workshop on Functional and (Constraint) Logic Programming, 2002

An Operational Semantics for Declarative Multi-Paradigm Languages.

Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal

Proceedings of the 2nd International Workshop on Reduction Strategies in Rewriting and Programming, 2002

Concurrent Execution Semantics of DAML-S with Subtypes.

Anupriya Ankolekar, Frank Huch, Katia P. Sycara

Proceedings of the Semantic Web, 2002

Concurrent Semantics for the Web Services Specification Language DAML-S.

Anupriya Ankolekar, Frank Huch, Katia P. Sycara

Proceedings of the Coordination Models and Languages, 5th International Conference, 2002

A Deterministic Operational Semantics for Functional Logic Programs.

Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal

Proceedings of the AGP 2002: Proceedings of the Joint Conference on Declarative Programming, 2002

2001

Verification of Erlang programs using abstract interpretation and model checking.

Frank Huch

PhD thesis, 2001

Model Checking Erlang Programs - Abstracting Recursive Function Calls.

Frank Huch

Proceedings of the International Workshop on Functional and (Constraint) Logic Programming, 2001

Model checking Erlang programs - abstracting the context-free structure.

Frank Huch

Proceedings of the Workshop on Software Model Checking 2001, 2001

2000

Distributed Programming in Haskell with Ports.

Frank Huch, Ulrich Norbisrath

Proceedings of the Implementation of Functional Languages, 12th International Workshop, 2000

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

Michael Hanus, Frank Huch, Philipp Niederau

Proceedings of the Implementation of Functional Languages, 12th International Workshop, 2000

1999

Verification of Erlang Programs using Abstract Interpretation and Model Mhecking.

Frank Huch

Proceedings of the fourth ACM SIGPLAN International Conference on Functional Programming (ICFP '99), 1999