Einar W. Karlsen  Home/Search
Context Related
| informatik.unibremen.de/~...gw97.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: informatik.unibreme...ewk_papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . The UniForM Concurrency Toolkit is a comprehensive library of abstract data types for shared memory and message passing communication that extends Concurrent Haskell with a concept of dynamic types, thread identity, thread local state and selective communication as found in CML. Notable features of the toolkit are its support for reentrant monitors, interactors providing iterative choice and the uniform representation of internal channel events as well as external tool events of the... (Update)
Context of citations to this paper: More
...with the various Z development tools. The pure functional language Haskell [10, 27] extended with a higher order approach to concurrency [13] is used as a central integration language, i.e. as GlueWare 1 in this context. Each tool is encapsulated by wrapping Haskell interfaces...
...threads of control in terms of shared memory abstractions. An extension of this basis in the form of the UniForM Concurrency Toolkit [36, 18] provides a message passing model similar to the one of Concurrent ML (CML) 45] offering selective communication over channels, i.e....
Cited by: More
Thimble - Threads for MLj - Stark (Correct)
The UniForM Workbench, a Universal Development Environment.. - Krieg-Brückner, al. (1999) (Correct)
HOL-Z in the UniForM-Workbench - a Case Study in.. - Lüth, Karlsen.. (1998) (Correct)
Similar documents (at the sentence level):
15.2%: Using Concurrent Haskell to Develop Views over an.. - Einar W. Karlsen.. (1997) (Correct)
Active bibliography (related documents): More All
0.8: The UniForM WorkBench - a Higher Order Tool Integration Framework - Karlsen (1998) (Correct)
0.6: Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
0.6: The UniForM Subsystem Interaction Manager - Version 0.2 -.. - Karlsen (1998) (Correct)
Similar documents based on text: More All
0.2: Distributed Threads in Java - Weyns, Truyen, Verbaeten (2002) (Correct)
0.1: The UniForM Concurrency ToolKit Version 0.2 Reference Manual - Karlsen (1998) (Correct)
0.1: The UniForM User Interaction Manager - Version 0.2 - Reference.. - Karlsen (1998) (Correct)
Related documents from co-citation: More All
9: Concurrent haskell - Peyton-Jones - 1996
6: Department of Computer Science (context) - Reppy, Concurrency et al. - 1992
6: Tcl and the Tk Toolkit - Ousterhout - 1994
BibTeX entry: (Update)
E. W. Karlsen. The UniForM Concurrency Toolkit and its Extensions to Concurrent Haskell. In GWFP'97: Glasgow Workshop on Functional Programming, September 1997. http://citeseer.ist.psu.edu/karlsen97uniform.html More
@inproceedings{ karlsen97uniform,
author = "E. W. Karlsen",
title = "{The UniForM Concurrency Toolkit and its Extensions to Concurrent Haskell}",
booktitle = "Glasgow Workshop on Functional Programming",
address = "Ullapool, Scotland",
year = "1997",
url = "citeseer.ist.psu.edu/karlsen97uniform.html" }
Citations (may not include all citations):861 Tcl and the Tk Toolkit - Ousterhout - 1994
673 Actors: A Model of Concurrent Computation in Distributed Sys.. (context) - Agha - 1986
315 Dynamic Typing in a Statically Typed Language - Abadi, Cardelli et al. - 1991
230 A Cookbook for using the Model-ViewController User Interface.. (context) - Krasner, Pope - 1988
159 CML: a Higher-Order Concurrent Language (context) - Reppy - 1991
120 Monad Transformers and Modular Interpreters - Liang, Hudak et al. - 1995
119 Facile: A Symmetric Integration of Concurrent and Functional.. (context) - Giacolone, Mishra et al. - 1989
87 Concurrent Haskell - Jones, Gordon et al. - 1996
64 SunOS Multi-thread Architecture - Powell, Kleiman et al. - 1991
57 The Implementation of the Gofer Functional Programming Syste.. - Jones - 1994
27 PFL: A Functional Language for Parallel Programming (context) - Holmstrom - 1983
26 Environments: A Flexible Binding Mechanism to Support System.. - Dearle - 1989
22 Department of Computer Science (context) - Reppy, PhD - 1992
13 expect: Scripts for controlling interactive processes - Libes - 1991
12 Universal Formal Methods Workbench (context) - Krieg-Bruckner, Peleska et al. - 1996
8 Using Concurrent Haskell to Develop Views over an Active Rep.. - Karlsen, Westmeier - 1997
8 Integrating Interactive Tools using Concurrent Haskell and S.. - Karlsen - 1997
8 non-strict Functional Language with State (context) - Barth, Nikhil et al. - 1991
8 Communicating Functional Agents and their Application to Gra.. - Frauenstein, Grieskamp et al. - 1996
8 Programming Reactive Systems in Haskell - Finne, Jones - 1994
7 The Nottingham and Yale Haskell User's System (context) - Jones, Peterson - 1997
6 First-class Synchronous Operations - Reppy - 1995
5 The UniForM User Interaction Manager (context) - Karlsen - 1997
5 Calculus: An Experiment in Concurrent Language Design (context) - Pierce, the - 1994
5 Building Abstractions for Concurrent Programming in Concurre.. (context) - Norzel - 1997
2 Java Threads - A Whitepaper (context) - Berg - 1996
1 Concurrent Programming in Haskell - Gulias, Freire - 1996
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.informatik.uni-bremen.de/~ewk/ewk_papers.html): More
Using Concurrent Haskell to Develop Views over an.. - Einar W. Karlsen.. (1997) (Correct)
Integrating Interactive Tools using Concurrent Haskell and.. - Karlsen (1997) (Correct)
The UniForM WorkBench - a Higher Order Tool Integration Framework - Karlsen (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC