Frank Huch

41 papers A 4B 2C 6Misc 1Journal 4Unranked 20
YearRankTypeTitle / Venue / Authors
2022 — conf
Generating syntaxfree development environments for real world programming languages.
CSERC
Marcus Riemer, Frank Huch
2012 C conf
5. Arbeitstagung Programmiersprachen (ATPS 2012).
Software Engineering
Frank Huch, Janis Voigtländer
2010 A conf
A play on regular expressions: functional pearl.
ICFP
Sebastian Fischer, Frank Huch, Thomas Wilke
2008 — ed.
Proceedings of the 2008 international workshop on Functional and declarative programming in education, FDPE@ICFP 2008, Victoria, BC, Canada, September 20 - 28, 2008
FDPE@ICFP
Frank Huch, Adam Parkin
2007 — conf
Declaring Numbers.
WFLP@RDP
Bernd Braßel, Sebastian Fischer, Frank Huch
2007 A conf
Lazy call-by-value evaluation.
ICFP
Bernd Braßel, Michael Hanus, Sebastian Fischer, Frank Huch, Germán Vidal
2007 — conf
Learning programming with Erlang.
Erlang Workshop
Frank Huch
2007 B conf
Monadic, Prompt Lazy Assertions in Haskell.
APLAS
Olaf Chitil, Frank Huch
2007 B conf
On a Tighter Integration of Functional and Logic Programming.
APLAS
Bernd Braßel, Frank Huch
2007 — conf
The Kiel Curry System KiCS.
INAP/WLP
Bernd Brassel, Frank Huch
2006 — conf
A Pattern Logic for Prompt Lazy Assertions in Haskell.
IFL
Olaf Chitil, Frank Huch
2006 C conf
A Program Transformation for Tracing Functional Logic Computations.
LOPSTR
Bernd Brassel, Sebastian Fischer, Frank Huch
2006 — conf
A purely functional implementation of ROBDDs in Haskell.
Trends in Functional Programming
Jan Christiansen, Frank Huch
2006 J jnl
Dynamische Deadlock-Suche in nebenläufigen funktionalen Programmen.
Softwaretechnik-Trends
Frank Huch
2006 J jnl
Haskell Transaktionen in verteilten Systemen.
Softwaretechnik-Trends
Frank Huch, Frank Kupke
2006 — ed.
Implementation and Application of Functional Languages, 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers
IFL
Andrew Butterfield, Clemens Grelck, Frank Huch
2006 — conf
The Interactive Curry Observation Debugger iCODE.
WFLP
Parissa H. Sadeghi, Frank Huch
2005 — conf
A High-Level Implementation of Composable Memory Transactions in Concurrent Haskell.
IFL
Frank Huch, Frank Kupke
2005 — conf
From functional to object-oriented programming: a smooth transition for beginners.
FDPE@ICFP
Rudolf Berghammer, Frank Huch
2005 — ed.
Implementation and Application of Functional Languages, 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers
IFL
Clemens Grelck, Frank Huch, Greg Michaelson, Philip W. Trinder
2005 J jnl
Operational semantics for declarative multi-paradigm languages.
J. Symb. Comput.
Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal
2005 — conf
Translating curry to haskell system demo.
WCFLP
Bernd Braßel, Frank Huch
2004 C conf
A semantics for tracing declarative multi-paradigm programs.
PPDP
Bernd Brassel, Michael Hanus, Frank Huch, Germán Vidal
2004 J jnl
Encapsulating Non-Determinism in Functional Logic Computations.
J. Funct. Log. Program.
Bernd Braßel, Michael Hanus, Frank Huch
2004 — conf
Model Checking Erlang Programs - LTL-Propositions and Abstract Interpretation.
GI Jahrestagung (2)
Frank Huch
2004 C conf
Observing Functional Logic Computations.
PADL
Bernd Brassel, Olaf Chitil, Michael Hanus, Frank Huch
2004 C conf
Run-Time Profiling of Functional Logic Programs.
LOPSTR
Bernd Brassel, Michael Hanus, Frank Huch, Josep Silva, Germán Vidal
2004 — conf
Runtime Verification of Concurrent Haskell Programs.
RV@ETAPS
Volker Stolz, Frank Huch
2004 A conf
Searching for deadlocks while debugging concurrent haskell programs.
ICFP
Jan Christiansen, Frank Huch
2003 — conf
Towards translating embedded Curry to C.
WFLP
Michael Hanus, Klaus Höppner, Frank Huch
2002 — conf
A Deterministic Operational Semantics for Functional Logic Programs.
APPIA-GULP-PRODE
Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal
2002 — conf
An Operational Semantics for Declarative Multi-Paradigm Languages.
WRS
Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal
2002 Misc conf
Concurrent Execution Semantics of DAML-S with Subtypes.
ISWC
Anupriya Ankolekar, Frank Huch, Katia P. Sycara
2002 C conf
Concurrent Semantics for the Web Services Specification Language DAML-S.
COORDINATION
Anupriya Ankolekar, Frank Huch, Katia P. Sycara
2002 — conf
Operational Semantics for Functional Logic Languages.
WFLP
Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal
2001 — conf
Model Checking Erlang Programs - Abstracting Recursive Function Calls.
WFLP
Frank Huch
2001 — conf
Model checking Erlang programs - abstracting the context-free structure.
Workshop on Software Model Checking @ CAV
Frank Huch
2001 — —
Verification of Erlang programs using abstract interpretation and model checking.
Frank Huch
2000 — conf
Distributed Programming in Haskell with Ports.
IFL
Frank Huch, Ulrich Norbisrath
2000 — conf
ObjectCurry: An Object-Oriented Extension of the Declarative Multi-Paradigm Language Curry.
IFL
Michael Hanus, Frank Huch, Philipp Niederau
1999 A conf
Verification of Erlang Programs using Abstract Interpretation and Model Mhecking.
ICFP
Frank Huch