B. Brassel and F. Huch: The Kiel Curry System KiCS Applications of Declarative Programming and Knowledge Managemant, LNAI 5437, Springer, 2008 BibTeX-Entry,
Paper
B. Brassel, S. Fischer and F. Huch: Declaring Numbers ENCTS 216 BibTeX-Entry,
Paper
B. Brassel and F. Huch: On a Tighter Integration of Functional and Logic Programming Programming Languages and Systems, 5th Asian Symposium,
APLAS 2007, Singapure, LNCS 4807, Springer, 2007 BibTeX-Entry,
Paper
O. Chitil and F. Huch: Monadic, Prompt Lazy Assertions in Haskell Programming Languages and Systems, 5th Asian Symposium,
APLAS 2007, Singapure, LNCS 4807, Springer, 2007 BibTeX-Entry,
Paper
F. Huch: Learning Programming with Erlang: Proceedings of the Sixth ACM SIGPLAN Erlang Workshop, ACM, 2007 BibTeX-Entry,
Paper
B. Brassel, S. Fischer, M. Hanus, F. Huch and G. Vidal: Lazy Call-By-Value Evaluation Proceedings of the 12th ACM SIGPLAN International Conference
on Functional Programming, ICFP 2007, ACM, 2007 BibTeX-Entry,
Paper
O. Chitil and F. Huch: A Pattern Logic for Lazy Assertions in Haskell Implementation and Application of Functional Languages (IFL 2006), LNCS 4449, Springer, 2007 BibTeX-Entry,
Paper
F. Huch and P. H. Sadeghi: The Interactive Curry Observation Debugger iCODE Proceedings of the 15th Workshop on Functional and (Constraint) Logic Programming (WFLP 2006), ENTCS 177, 2007 BibTeX-Entry,
Paper
B. Brassel and S. Fischer and F. Huch: A Program Transformation for Tracing Functional Logic Computations Logic-Based Program Synthesis and Transformation, 16th International
Symposium, LOPSTR 2006
Revised Selected Papers, LNCS 4407, Springer, 2007 BibTeX-Entry,
Paper
J. Christiansen and F. Huch: A purely functional implementation of ROBDDs in Haskell Implementation and Application of Functional Languages (IFL 2005), LNCS 4015, Springer 2006 BibTeX-Entry,
Paper
F. Huch and F. Kupke: A High-Level Implementation of Composable Memory Transactions in Concurrent Haskell Implementation and Application of Functional Languages (IFL 2005), LNCS 4015, Springer 2006 BibTeX-Entry,
Paper
E. Albert, M. Hanus, F. Huch, J. Oliver, and G. Vidal: Operational semantics for declarative multi-paradigm languages Journal of Symbolic Computation}, 40(1):795--829, 2005 BibTeX-Entry,
Paper
B. Brassel and F. Huch: Translating Curry to Haskell -- System demo Proceedings of the 2005 ACM SIGPLAN workshop on
Curry and functional logic programming (WCFLP 05) BibTeX-Entry,
Paper
R. Berghammer and F. Huch: From functional to object-oriented programming:
a smooth transition for beginners Proceedings of the 2005 ACM-SIGPLAN workshop on Functional and
declaritive programming in education (FDPE 05) BibTeX-Entry,
Paper
B. Brassel, J.Silva, M. Hanus, F. Huch, and G. Vidal: Run-time profiling of functional logic programms Proceedings of the International Symposium on Logic-based
Program Synthesis and Transformation 2004 (LOPSTR 04) BibTeX-Entry,
PaperExtended paper with proofs
B. Brassel, M. Hanus, F. Huch, and G. Vidal: A semantics for tracing declarative multi-paradigm programs Proceedings of the 6th ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP 04)
, 2004 BibTeX-Entry,
Abstract,
Paper
F. Huch and V. Stolz: Runtime verification of Concurrent Haskell programs Proceedings of the Fourth Workshop on Runtime Verification (RV 04)
ENTCS 113, 2005 BibTeX-Entry,
Abstract,
Paper
M. Hanus, K. Höppner, and F. Huch: Towards translating Embedded Curry to C Selected Papers of the 12th International Workshop on
Functional and (Constraint) Logic Programming (WFLP'03)
ENTCS 86--3 BibTeX-Entry,
Abstract,
Paper
M. Hanus and F. Huch: An Open System to Support Web-based Learning Proc. of the 12th
International Workshop on Functional and (Constraint) Logic Programming
(WFLP'02) BibTeX-Entry,
Abstract,
Paper
E. Albert, M. Hanus, F. Huch, J. Oliver, and G. Vidal: Operational semantics for functional logic languages Selected Papers of the 11th
International Workshop on Functional and (Constraint) Logic Programming
(WFLP'02)
ENTCS 76 BibTeX-Entry,
Abstract,
Paper
E. Albert, M. Hanus, F. Huch, J. Oliver, and G. Vidal: An operational semantics for declarative multi-paradigm languages Selected Papers of the Second International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2002)
ENTCS 70--6 BibTeX-Entry,
Abstract,
Paper
Frank Huch: Model checking Erlang programs - Abstracting Recursive Function Calls International Workshop on Functional and (Constraint) Logic Programming (WFLP 2001)
Kiel, Germany, Sept. 2001
ENTCS 64 BibTeX-Entry,
Abstract,
Paper
Frank Huch: Model checking Erlang programs - Abstracting the Context-Free Structure Workshop on Software Model Checking
Paris, France, 23 July 2001
ENTCS 55(3) BibTeX-Entry,
Abstract,
Paper
Michael Hanus, Frank Huch, and Philipp Niederau: ObjectCurry: An object oriented extension of the
declarative multi-paradigm language Curry Implementation of Functional Languages, 12th. International Workshop (IFL 2000)
September 4th - 7th 2000, Aachen,
LNCS 2011 BibTeX-Entry,
Abstract,
Paper
Frank Huch: Verification of Erlang Programs using Abstract Interpretation and Model Checking ACM Sigplan Notices, 34(9):261-272, 1999. Proceedings of the
1999 ACM SIGPLAN International Conference on Functional
Programming (ICFP '99). BibTeX-Entry,
Abstract,
Paper
Frank Huch: Verification of Erlang Programs using Abstract Interpretation and Model Checking -- Extended Version Technical Report RWTH Aachen 99-2. BibTeX-Entry,
Abstract,
Paper
Frank Huch: Erlang-Style Distributed Haskell Implementation of Functional Languages, 11th. International Workshop (IFL'99)
September 7th - 10th 1999, Lochem
Draft Proceedings BibTeX-Entry,
Abstract,
Paper
Last modified: Mon Mar 30 16:52:20 CEST 2009
/
Frank Huch
Last modified: Mon Mar 30 16:52:20 CEST 2009
/
Frank Huch