Selected Publications (Frank Huch)

• 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)
  accepted for publication in ACM-SIGPLAN, 2004
  BibTeX-Entry, Abstract, Paper

• E. Albert, M. Hanus, F. Huch, J. Oliver, and G. Vidal:
  Operational semantics for declarative multi-paradigm languages
  accepted for publucation in the Journal of Symbolic Computation
  BibTeX-Entry, Abstract, Paper

• B. Brassel, O. Chitil, M. Hanus, and F. Huch:
  Observing functional logic computations
  Proceedings of the Sixth International Symposium on Practical Aspects of Declarative Languages (PADL 2004)
  LNCS 3057, © Springer-Verlag
  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)
  to appear in the ENTCS series
  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

• Anupriya Ankolekar, Frank Huch, and Katia Sycara:
  Concurrent Execution Semantics of DAML-S with Subtypes
  The Semantic Web - ISWC 2002: First International Semantic Web Conference
  Sardinia, Italy, June 9-12, 2002 LNCS 2315, © Springer-Verlag
  BibTeX-Entry, Abstract, Paper

• Anupriya Ankolekar, Frank Huch, and Katia Sycara:
  Concurrent Semantics for the Web Services Specification Language DAML-S
  Coordination Models and Languages: 5th International Conference, COORDINATION 2002
  York, UK, April 8-11, 2002 LNCS 2315, © Springer-Verlag
  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

• Frank Huch, and Ulrich Norbisrath:
  Distributed Programming in Haskell with Ports
  Implementation of Functional Languages, 12th. International Workshop (IFL 2000)
  September 4th - 7th 2000, Aachen, LNCS 2011, © Springer-Verlag
  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: Wed Aug 11 10:54:46 CEST 2004 / Frank Huch Christian-Albrechts-University of Kiel