Frank Huch

ORCID

Publication Activity (10 Years)

Years Active: 1999-2022
Publications (10 Years): 1

Top Venues

CSERC

RWTH Aachen University, Germany (PHD)

Education History

RWTH Aachen University, Germany

PHD

Publications

Marcus Riemer, Frank Huch
Generating syntaxfree development environments for real world programming languages. CSERC (2022)
Frank Huch, Janis Voigtländer
5. Arbeitstagung Programmiersprachen (ATPS 2012). Software Engineering (2012)
Sebastian Fischer, Frank Huch, Thomas Wilke
A play on regular expressions: functional pearl. ICFP (2010)
Bernd Braßel, Sebastian Fischer, Frank Huch
Declaring Numbers. Electron. Notes Theor. Comput. Sci. 216 (2008)
Bernd Brassel, Frank Huch
The Kiel Curry System KiCS. INAP/WLP (2007)
Olaf Chitil, Frank Huch
Monadic, Prompt Lazy Assertions in Haskell. APLAS (2007)
Bernd Braßel, Michael Hanus, Sebastian Fischer, Frank Huch, Germán Vidal
Lazy call-by-value evaluation. ICFP (2007)
Parissa H. Sadeghi, Frank Huch
The Interactive Curry Observation Debugger iCODE. Electron. Notes Theor. Comput. Sci. 177 (2007)
Bernd Braßel, Frank Huch
On a Tighter Integration of Functional and Logic Programming. APLAS (2007)
Frank Huch
Learning programming with Erlang. Erlang Workshop (2007)
Olaf Chitil, Frank Huch
A Pattern Logic for Prompt Lazy Assertions in Haskell. IFL (2006)
Frank Huch
Dynamische Deadlock-Suche in nebenläufigen funktionalen Programmen. Softwaretechnik-Trends 26 (2) (2006)
Bernd Brassel, Sebastian Fischer, Frank Huch
A Program Transformation for Tracing Functional Logic Computations. LOPSTR (2006)
Frank Huch, Frank Kupke
Haskell Transaktionen in verteilten Systemen. Softwaretechnik-Trends 26 (2) (2006)
Jan Christiansen, Frank Huch
A purely functional implementation of ROBDDs in Haskell. Trends in Functional Programming (2006)
Rudolf Berghammer, Frank Huch
From functional to object-oriented programming: a smooth transition for beginners. FDPE@ICFP (2005)
Bernd Braßel, Frank Huch
Translating curry to haskell system demo. WCFLP (2005)
Volker Stolz, Frank Huch
Runtime Verification of Concurrent Haskell Programs. Electron. Notes Theor. Comput. Sci. 113 (2005)
Frank Huch, Frank Kupke
A High-Level Implementation of Composable Memory Transactions in Concurrent Haskell. IFL (2005)
Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal
Operational semantics for declarative multi-paradigm languages. J. Symb. Comput. 40 (1) (2005)
Bernd Brassel, Michael Hanus, Frank Huch, Germán Vidal
A semantics for tracing declarative multi-paradigm programs. PPDP (2004)
Jan Christiansen, Frank Huch
Searching for deadlocks while debugging concurrent haskell programs. ICFP (2004)
Bernd Brassel, Olaf Chitil, Michael Hanus, Frank Huch
Observing Functional Logic Computations. PADL (2004)
Bernd Brassel, Michael Hanus, Frank Huch, Josep Silva, Germán Vidal
Run-Time Profiling of Functional Logic Programs. LOPSTR (2004)
Frank Huch
Model Checking Erlang Programs - LTL-Propositions and Abstract Interpretation. GI Jahrestagung (2) (2004)
Bernd Braßel, Michael Hanus, Frank Huch
Encapsulating Non-Determinism in Functional Logic Computations. J. Funct. Log. Program. 2004 (2004)
Michael Hanus, Klaus Höppner, Frank Huch
Towards translating embedded Curry to C. Electron. Notes Theor. Comput. Sci. 86 (3) (2003)
Anupriya Ankolekar, Frank Huch, Katia P. Sycara
Concurrent Semantics for the Web Services Specification Language DAML-S. COORDINATION (2002)
Anupriya Ankolekar, Frank Huch, Katia P. Sycara
Concurrent Execution Semantics of DAML-S with Subtypes. ISWC (2002)
Frank Huch
Model Checking Erlang Programs - Abstracting Recursive Function Calls. Electron. Notes Theor. Comput. Sci. 64 (2002)
Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal
A Deterministic Operational Semantics for Functional Logic Programs. APPIA-GULP-PRODE (2002)
Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal
An Operational Semantics for Declarative Multi-Paradigm Languages. Electron. Notes Theor. Comput. Sci. 70 (6) (2002)
Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal
Operational Semantics for Functional Logic Languages. Electron. Notes Theor. Comput. Sci. 76 (2002)
Frank Huch
Model checking Erlang programs - abstracting the context-free structure. Electron. Notes Theor. Comput. Sci. 55 (3) (2001)
Frank Huch, Ulrich Norbisrath
Distributed Programming in Haskell with Ports. IFL (2000)
Michael Hanus, Frank Huch, Philipp Niederau
ObjectCurry: An Object-Oriented Extension of the Declarative Multi-Paradigm Language Curry. IFL (2000)
Frank Huch
Verification of Erlang Programs using Abstract Interpretation and Model Mhecking. ICFP (1999)

Frank Huch.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Frank Huch