Paul Steckler. Detecting local channels in distributed Poly/ML. Technical Report ECSLFCS -96-340, University of Edinburgh, January 1996. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Global/Local Subtyping for a Distributed π-calculus - Sewell (1997) (Correct)
....of barbed bisimulation congruences for a CCS like calculus extended with locations and failure. Finally, in [SY97] Sekiguchi and Yonezawa give a calculus in 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 guaranteed to be local to a single processor. It incorporates also some reachability analysis, but does not separate input and output capabilities. Nielson and ....
Paul Steckler. Detecting local channels in distributed Poly/ML. Technical Report ECSLFCS -96-340, University of Edinburgh, January 1996.
A Static Type System for Detecting Potentially Transmissible.. - Kirli (1999) (6 citations) Self-citation (Lfcs) (Correct)
....to approximate which functions can be called from a particular point in the program. Some instances of these static analyses are also known as closure analysis, setbased 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 order languages in the sense that they both derive invariants about the potential bindings of variables in a program. Research has been carried out in extending control ....
.... Another direction of research has focused on systematic comparisons of type systems and control flow systems by establishing correspondences between certain type systems and control flow analyses [17, 18] Variations for control flow analyses developed for concurrent programming languages such as [10, 11, 13] could offer a solution to the problem of detecting potentially transmissible functions. However, an effect based analysis which exploits the existing type system would be more easily applicable. The latter is also the one which is proposed by [3] We propose an effect based solution to the above ....
P. Steckler. Detecting local channels in Distributed Poly/ML. Technical Report ECS-LFCS-96-340, LFCS, University of Edinburgh, 1996.
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