Z.M. Ariola, M. Sami, B.C. Massey, E. Tick  Home/Search
Context Related
| i2.informatik.rwthaache...paper10.ps.Z mpisb.mpg.de/pub/guide/te...paper10.ps i2.informatik.rwthaache...paper10.ps.Z 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: i2.informatik.rwth...MPII94224 (more) From: math.jussieu.fr...p.mpisb.mpg.de (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The plethora of concurrent declarative language families, each with subtly different semantics, makes the design and implementation of static analyses for these languages a demanding task. However, many of the languages share underlying structure. If this structure can be exploited, static analysis techniques can be shared across language families. These techniques can thus provide a common kernel for the implementation of quality compilers for this entire language class. The purpose of this... (Update)
Context of citations to this paper: More
...Each call must then match some clause of the program. The variables of CCLs have the Dynamic Single Assignment (DSA) property [1]: they can be assigned a value only once during the execution of a program, but not, in general, at a statically determinable program...
Cited by: More
Optimizing Clause Matching Automata in Committed-Choice Languages - Massey, Tick (1994) (Correct)
Similar documents (at the sentence level):
63.2%: A Common Intermediate Language and its Use in.. - Ariola, Massey, Sami.. (Correct)
Active bibliography (related documents): More All
0.6: The Diadora Principle: Efficient Execution of Concurrent Logic .. - Massey, Tick (1993) (Correct)
0.4: Relating Graph and Term Rewriting via Böhm Models - Ariola (1993) (Correct)
0.3: Automatic Compile-Time Parallelization of Prolog.. - Pontelli, Gupta.. (1997) (Correct)
Similar documents based on text: More All
0.2: The Syntax of Internal and External Causation - Pylkkänen (1999) (Correct)
0.1: CAPSL Intermediate Language - Denker, Millen (1999) (Correct)
0.1: Are "teenies" Better? - Bollen, Whaley (1998) (Correct)
BibTeX entry: (Update)
Z. M. Ariola, B. C. Massey, M. Sami, and E. Tick. Compilation of Concurrent Declarative Languages. New Generation Computing, 1995. Submitted to special issue. Also available as University of Oregon Technical Report CIS-TR-94-05. http://citeseer.ist.psu.edu/ariola95compilation.html More
@inproceedings{ ariola94compilation,
author = "Zena M. Ariola and Barton C. Massey and M. Sami and Evan Tick",
title = "Compilation of Concurrent Declarative Languages",
booktitle = "{ICLP} Workshop: Integration of Declarative Paradigms",
pages = "120-134",
year = "1994",
url = "citeseer.ist.psu.edu/ariola95compilation.html" }
Citations (may not include all citations):247 The Family of Concurrent Logic Programming Languages (context) - Shapiro - 1989
183 Report on Programming Language Haskell: a Non-strict (context) - Hudak, Peyton-Jones et al. - 1992
152 Structures: Data Structures for Parallel Computing - Arvind, Nikhil - 1986
132 Strand: New Concepts in Parallel Programming (context) - Foster, Taylor - 1989
66 ACM Transactions on Programming Languages and Systems (context) - Clark, Gregory et al. - 1986
65 von Neumann Hybrid Architecture (context) - Iannucci, Dataflow - 1988
63 Functional Language with State (context) - Barth, Nikhil et al. - 1991
54 Strictness Analysis on Non-Flat Domains (context) - Wadler - 1987
46 MIT Laboratory for Computer Science (context) - Nikhil, Version et al. - 1990
46 MIT Laboratory for Computer Science (context) - Nikhil, Hicks et al. - 1993
42 Task Granularity Analysis in Logic Programs - Debray, Lin et al. - 1990
30 Global Analysis for Partitioning Non-Strict Programs into Se.. (context) - Traub, Culler et al. - 1992
30 A Multithreaded Implementation of Id Using P-RISC Graphs (context) - Nikhil - 1993
27 Moded Flat GHC and Its Message-Oriented Implementation Techn.. - Ueda, Morita - 1994
26 A Syntactic Approach to Program Transformation - Ariola - 1991
23 Compile-Time Partitioning of a NonStrict Language into Seque.. (context) - Hoch, Davenport et al. - 1991
23 Schedule Analysis of Concurrent Logic Programs (context) - King, Soper - 1992
21 TAC: A Parallel Intermediate Language (context) - Ariola, P- - 1989
14 MIT Laboratory for Computer Science (context) - Arvind, Augusston et al. - 1993
11 Sequentialization of Parallel Logic Programs with Mode Analy.. - Massey - 1992
8 Department of Electronics and Computer Science (context) - King, Soper et al. - 1992
7 An Algebraic Approach to the Compilation and Operational Sem.. (context) - Ariola - 1992
5 Graph Rewriting Systems For Efficient Compilation - Ariola - 1993
5 Concurrent Logic Programs a la Mode (context) - Tick, Massey et al. - 1994
4 A Compile-Time Granularity Analysis Algorithm and its Perfor.. (context) - Tick, Zhong - 1993
3 Thresholding and a New Technique for Controlling the Granula.. (context) - King, Soper - 1992
2 Partitioning Non-strict Functional Languages (context) - Coorg - 1994
2 Functional Programming and the Logic Variable (context) - Lindstrom - 1985
2 Data Flow and Control Flow Analysis of Logic Programs (context) - Sundararajan - 1994
2 Parallel Machine Languages (context) - Iannucci - 1990
2 A System of Precise Modes for Logic Programs (context) - Symogyi - 1987
1 Invited for Tenth Anniversary Issue (context) - Tick, of et al. - 1994
Documents on the same site (http://www-i2.informatik.rwth-aachen.de/~hanus/publications/reports/MPI-I-94-224.html): More
A Layer Architecture for the Integration of Rules.. - Abecker, Wache (1994) (Correct)
Semantics of Constraint Logic Programs with Optimization - Marriott, Stuckey (1993) (Correct)
The JUMP-machine: a Generic Basis for the Integration of.. - Chakravarty, Lock (1994) (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