Paul Steckler  Home/Search
Context Related
| rice.edu/~steck/ec...lfcs.96340.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: rice.edu/~steck/pubs (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Distributed Poly/ML is a variation on Standard ML that includes primitives for creating threads and for inter-thread communication. Threads may be spawned on remote machines. Values are sent from one thread to another over dynamically-created channels. A channel is considered local iff all its uses take place on the processor on which it was created. We present a constraint-based static analysis that detects local channels. Using a tree replacement technique, we show that constraint solutions... (Update)
Context of citations to this paper: More
.... analysis and constraint based analysis which differ in their formulations, the precision they offer and their practicality [9, 10, 11, 12, 13, 14]. More recently, some authors have pointed out the intuitive connection between reasoning about types and control flow in higher...
...which a number of different mechanisms for code and data migration can be described. Related type systems and static analyses In [Ste96] Steckler has given a static analysis technique for distributed Poly ML with similar motivation to ours to detect when channels are...
Cited by: More
Global/Local Subtyping for a Distributed π-calculus - Sewell (1997) (Correct)
A Static Type System for Detecting Potentially Transmissible.. - Kirli (1999) (Correct)
Active bibliography (related documents): More All
0.5: Reverse Reachability Analysis: A New Technique for Deadlock.. - Hung, Chen (1993) (Correct)
0.2: Lightweight Closure Conversion - Steckler, WAND (1996) (Correct)
0.2: Correct Separate and Selective Closure Conversion - Steckler (Correct)
Similar documents based on text: More All
0.0: Selective and Lightweight Closure Conversion - Steckler, WAND (1996) (Correct)
0.0: Interprocedural Modification Side Effect Analysis With.. - Landi, Ryder, Zhang (1993) (Correct)
0.0: STk Reference Manual - Gallesio (1999) (Correct)
Related documents from co-citation: More All
2: Information and Computation (context) - Milner, Parrow et al. - 1992
BibTeX entry: (Update)
P. Steckler. Detecting local channels in Distributed Poly/ML. Technical Report ECS-LFCS-96-340, LFCS, University of Edinburgh, 1996. http://citeseer.ist.psu.edu/475615.html More
@misc{ steckler96detecting,
author = "Paul Steckler",
title = "Detecting Local Channels in Distributed Poly/ML",
text = "P. Steckler. Detecting local channels in Distributed Poly/ML. Technical
Report ECS-LFCS-96-340, LFCS, University of Edinburgh, 1996.",
year = "1996",
url = "citeseer.ist.psu.edu/475615.html" }
Citations (may not include all citations):384 The Definition of Standard ML (context) - Milner, Tofte et al. - 1989
131 Set Based Program Analysis - Heintze - 1992
81 Once upon a type - Turner, Wadler et al. - 1995
67 Higher-Order Concurrency - Reppy - 1992
54 Safety analysis versus type inference - Palsberg, Schwartzbach - 1995
38 Selective and lightweight closure conversion - Wand, Steckler - 1994
23 Higher-order concurrent programs with finite communication t.. (context) - Nielson, Nielson - 1994
23 Analyzing the communication topology of concurrent programs - Colby - 1995
21 A distributed concurrent implementation of standard ML (context) - Matthews - 1991
18 Data flow analysis of distributed communicating processes (context) - Reif, Smolka - 1990
15 ML partial evaluation using set-based analysis - Malmkjaer, Heintze et al.
15 Analyzing stores and references in a parallel symbolic langu.. - Jagannathan, Weeks - 1994
11 Constraints for polymorphic behaviours of concurrent ML - Nielson, Nielson - 1994
11 Selective thunkification - Steckler, Wand - 1994
10 An algorithm for analyzing communicating processes (context) - Mercouroff - 1991
7 Generic techniques for source-level debugging and dynamic pr.. - Tip - 1995
7 LEMMA: A distributed shared memory with global and local gar.. - Matthews, Le Sergent - 1995
6 Tracking available values for lightweight closures - Steckler, Wand - 1994
2 Towards dataflow analysis of communicating finite state mach.. (context) - Peng, Purushothaman - 1989
Documents on the same site (http://www.cs.rice.edu/~steck/pubs.html): More
Implementing a Static Debugger for a First-Order Functional .. - Felleisen, Steckler (2000) (Correct)
The Functional Imperative: Shape! - Jay, Steckler (1997) (Correct)
Correct Separate and Selective Closure Conversion - Steckler (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