R. Bagnara. On the detection of implicit and redundant numeric constraints in CLP programs. In M. Alpuente, R. Barbuti, and I. Ramos, editors, Proceedings of the \1994 Joint Conference on Declarative Programming (GULP-PRODE '94)", pages 312-326, Pe~nscola, Spain, September 1994. Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
Inferring Argument Size Relationships with CLP(R) - Benoy, King (1996) (34 citations) (Correct)
Structural Information Analysis for CLP Languages - Bagnara (1997) Self-citation (Bagnara) (Correct)
A hierarchy of Constraint Systems for Data-Flow Analysis of.. - Bagnara (1996) (3 citations) Self-citation (Bagnara) (Correct)
Constraint Systems for Pattern Analysis of Constraint Logic-Based .. - Bagnara (1995) (2 citations) Self-citation (Bagnara) (Correct)
A hierarchy of Constraint Systems for Data-Flow Analysis of.. - Bagnara (1999) (3 citations) Self-citation (Bagnara) (Correct)
Structural Information Analysis for CLP Languages - Bagnara (1997) Self-citation (Bagnara) (Correct)
Structural Information Analysis for CLP Languages - Bagnara (1997) Self-citation (Bagnara) (Correct)
Straight ROBDDS are not the Best for Pos - Bagnara Self-citation (Bagnara) (Correct)
A Reactive Implementation of Pos Using ROBDDs - Bagnara (1996) (5 citations) Self-citation (Bagnara) (Correct)
A Reactive Implementation of Pos Using ROBDDs - Bagnara (1996) (5 citations) Self-citation (Bagnara) (Correct)
A Reactive Implementation of Pos Using ROBDDs - Bagnara (1996) (5 citations) Self-citation (Bagnara) (Correct)
Straight ROBDDS are not the Best for Pos - Bagnara Self-citation (Bagnara) (Correct)
Constraint Systems for Pattern Analysis of Constraint Logic-Based .. - Bagnara (1995) (2 citations) Self-citation (Bagnara) (Correct)
A Reactive Implementation of Pos Using ROBDDs - Bagnara (1996) (5 citations) Self-citation (Bagnara) (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