MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Frank Huch" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

30 documents found, showing 1 through 10. Next 10 →

ATOM

Erlang Specification Method - A Tool for the Graphical Specification of Distributed Systems
by Frank Huch
… Specication of Distributed Systems Frank Huch Institut fur Informatik, Christian-Albrechts-Universitat Kiel…
Add To MetaCart

Model Checking Erlang Programs -- Abstracting the Context-Free Struckture
by Frank Huch — 2001 — Proc. of the 10th Int. Workshop on Functional and Logic Programming (WFLP'2001
…Model Checking Erlang Programs { Abstracting the Context-Free Structure Frank Huch Institut f…
Cited by 1 (0 self) – Add To MetaCart

Composable Memory Transactions in Concurrent Haskell
by Frank Huch, Frank Kupke
…Composable Memory Transactions in Concurrent Haskell Frank Huch and Frank Kupke University of Kiel…
Add To MetaCart

Concurrency Abstractions for Concurrent Haskell
by Volker Stolz, Frank Huch — 2002
…Concurrency abstractions for Concurrent Haskell Volker Stolz 1 and Frank Huch 2 1 RWTH Aachen…
Add To MetaCart

Runtime Verification of Concurrent Haskell
by Volker Stolz, Frank Huch — 2003 — Proceedings of the 12th International Workshop on Functional and (Constraint) Logic Programming (WFLP’03), Technical Report DSIC-II/13/03, Universidad Politécnica de
…Runtime Verification of Concurrent Haskell (work in progress) Volker Stolz 1 and Frank Huch 2 1…
Add To MetaCart

Distributed Programming in Haskell with Ports
by Frank Huch, Ulrich Norbisrath — 2000 — Lecture Notes in Computer Science
…Distributed Programming in Haskell with Ports Frank Huch 1 and Ulrich Norbisrath 2 Lehrstuhl f…
Cited by 14 (4 self) – Add To MetaCart

A pattern logic for prompt lazy assertions in Haskell
by Olaf Chitil, Frank Huch — 2007 — Implementation and Application of Functional Languages: 18th International Workshop, IFL 2006, volume 4449 of LNCS
…A Pattern Logic for Prompt Lazy Assertions in Haskell Olaf Chitil Frank Huch University of Kent…
Cited by 1 (1 self) – Add To MetaCart

Implementation of Port-based Distributed Haskell
by Volker Stolz, Frank Huch — 2001
…Implementation of Port-based Distributed Haskell Volker Stolz 1 and Frank Huch 2 1 RWTH Aachen…
Cited by 3 (1 self) – Add To MetaCart

Erlang-Style Distributed Haskell
by Frank Huch, Rwth Aachen — 1999 — In Draft Proceedings of the 11th International Workshop on Implementation of Functional Languages, September 7th { 10th
…Erlang-Style Distributed Haskell Frank Huch Lehrstuhl fur Informatik II RWTH Aachen Abstract. We…
Cited by 3 (2 self) – Add To MetaCart

Distributed Programming in Haskell: From Ports to Streams
by Volker Stolz, Frank Huch — 2001
…Distributed Programming in Haskell: From Ports to Streams Volker Stolz and Frank Huch ? Lehrstuhl…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB