M. Codish, M. Falaschi, and K. Marriott. Suspension Analysis for Concurrent Logic Programs. ACM Transactions on Programming Languages and Systems, 16(3):649--686, 1994. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents
Abductive Analysis of Modular Logic Programs - Giacobazzi (1997) (1 citation) (Correct)
Abstract Interpretation in the Operational Semantics Hierarchy - Schmidt (1997) (3 citations) (Correct)
Independence of the Computation Rule for.. - Bergère.. (1993) (Correct)
Abductive Analysis of Modular Logic Programs - Giacobazzi (1997) (1 citation) (Correct)
Program Analysis as Model Checking of Abstract Interpretations - Schmidt, Steffen (1998) (25 citations) (Correct)
Detection And Optimization Of Suspension-Free Logic Programs - Debray, Gudeman, Bigot (1996) (12 citations) (Correct)
Compositional Analysis of Suspension Free cc Programs - Zaffanella (Correct)
Modular Class Analysis with DATALOG - Besson, Jensen, Spoto (2003) (6 citations) (Correct)
Combinations of Abstract Domains for Logic.. - Cortesi, Le.. (2000) (64 citations) (Correct)
A Compositional Semantics for - Conditional Term Rewriting Self-citation (Falaschi) (Correct)
Narrowing Approximations as an Optimization - For Equational Logic Self-citation (Falaschi) (Correct)
Analyzing Logic Programs with Dynamic Scheduling - Marriott, Banda, Hermenegildo (1994) (13 citations) Self-citation (Marriott) (Correct)
Compositional Analysis for Concurrent Constraint.. - Maurizio Gabbrielli Kim (1993) (17 citations) Self-citation (Falaschi Marriott) (Correct)
A Debugging Scheme for Functional Logic Programs - Alpuente, Correa, Falaschi (2002) (1 citation) Self-citation (Falaschi) (Correct)
A Debugging Scheme for Functional Logic Programs - Alpuente (2002) (1 citation) Self-citation (Falaschi) (Correct)
Declarative Debugging of Functional Logic Programs - Alpuente, Correa, Falaschi (2001) Self-citation (Falaschi) (Correct)
Declarative Debugging of Functional Logic Programs - Alpuente, Correa, Falaschi (2001) Self-citation (Falaschi) (Correct)
Compositional Analysis of Modular Logic Programs - Codish, Debray, al. (1993) (27 citations) Self-citation (Codish) (Correct)
Analyzing Logic Programs Using "Prop"-Ositional Logic.. - Codish, Demoen (1997) (2 citations) Self-citation (Codish) (Correct)
Analyzing Logic Programs Using "Prop"-Ositional Logic.. - Codish, Demoen (1997) (2 citations) Self-citation (Codish) (Correct)
Demand Transformation Analysis for Concurrent Constraint.. - Falaschi, Hicks.. (1994) (1 citation) Self-citation (Falaschi) (Correct)
A Confluent Semantic Basis For The Analysis Of.. - Codish, Falaschi, .. (1994) Self-citation (Codish Falaschi Marriott) (Correct)
Compositional Analysis for Concurrent Constraint Programming - Moreno Falaschi (1993) (17 citations) Self-citation (Falaschi Marriott) (Correct)
Compositional Analysis of Modular Logic Programs - Codish, Debray, Giacobazzi (1993) (27 citations) Self-citation (Codish) (Correct)
Deriving Polymorphic Type Dependencies for Logic Programs.. - Codish, Demoen (1994) (24 citations) Self-citation (Codish) (Correct)
First 50 documents
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