Gerda Janssens, Maurice Bruynooghe, Vincent Englebert  Home/Search
Context
Related
| cs.kuleuven.ac.be/...lilp94.janssens.ps cs.kuleuven.ac.be/~dtai/p...16211.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: cs.kuleuven.ac.be/...abstracts.94 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: ing Numerical Values in CLP(H,N) Gerda Janssens 1 , Maurice Bruynooghe 1 , Vincent Englebert 2 1 Department of Computer Science, K.U. Leuven Celestijnenlaan 200A, B-3001 Heverlee, Belgium 2 Institut d'Informatique, Facult'es Universitaires Notre Dame de la Paix rue GrandGagnage 21, B-5000 Namur, Belgium Abstract. The paper defines approximations for the numerical leaves of variables in CLP(H,N) constraint systems. The abstractions are based on intervals which are computed by narrowing... (Update)
Active bibliography (related documents): More All
0.5: Towards a Practical Full Mode Inference System for CLP(H,N) - Dumortier, Janssens (1994) (Correct)
0.4: Global Analysis of Constraint Logic Programs - Banda, Hermenegildo.. (1996) (Correct)
0.3: On the Detection of Implicit and Redundant Numeric Constraints in .. - Bagnara (1994) (Correct)
Similar documents based on text: More All
0.5: Freeness Analysis in the Presence of Numerical.. - Dumortier, Janssens.. (1993) (Correct)
0.4: Practical Aspects for a working Compile Time Garbage .. - Mazur, Ross.. (2001) (Correct)
0.4: Constraint Logic Programming: Applications and Implementation - Vandecasteele (1999) (Correct)
BibTeX entry: (Update)
@inproceedings{ janssens94abstracting,
author = "Janssens, G. and Bruynooghe, M. and Englebert, V.",
title = "Abstracting Numerical Values in {CLP(H,N)}",
booktitle = "Proceedings of the Sixth International Symposium on Programming Language Implementation and Logic Programming",
publisher = "Springer Verlag",
editor = "Hermenegildo, Manuel and Penjam, Jaan",
pages = "400--414",
year = "1994",
url = "citeseer.ist.psu.edu/janssens94abstracting.html" }
Citations (may not include all citations):561 Constraint logic programming (context) - Jaffar, Lassez - 1987
261 An introduction to PROLOGIII (context) - Colmerauer - 1990
250 Automatic discovery of linear restraints among variables of .. - Cousot, Halbwachs - 1978
218 Abstract interpretation and application to logic programs (context) - Cousot, Cousot - 1992
108 A practical framework for the abstract interpretation of log.. (context) - Bruynooghe - 1991
89 Deriving descriptions of possible values of program variable.. (context) - Janssens, Bruynooghe - 1992
82 Constraint logic programming languages (context) - Cohen - 1990
80 Fast and precise regular approximations of logic programs - Gallagher, de Waal - 1994
72 Prop revisited: Propositional formula as abstract domain for.. (context) - Cortesi, Fil'e et al. - 1991
41 Analysis of constraint logic programs (context) - Marriott, Sondergaard - 1990
36 An instance of abstract interpretation integrating type and .. (context) - Bruynooghe, Janssens - 1988
33 Notes for a tutorial on abstract interpretation of logic pro.. (context) - Marriott, Sondergaard - 1989
27 Interval Computation as Deduction in CHIP - Lee, Emden - 1993
22 A generic abstract interpretation algorithm and its complexi.. (context) - Le Charlier, Musumbu et al. - 1991
16 An application of constraint propagation to data-flow analys.. - Bagnara, Giacobazzi et al. - 1993
15 Some global compile-time optimizations for CLP (context) - Jorgensen, Marriott et al. - 1991
14 Commonsense arithmetic reasoning (context) - Simmons - 1986
10 A Practical Approach to the Global Analysis of CLP Programs - de la, Hermenegildo - 1993
10 Freeness Analysis in the Presence of Numerical Constraints - Dumortier, Janssens et al. - 1993
7 Variable elimination for generalized linear constraints (context) - Imbert - 1993
3 A canonical form for generalised linear constraints (context) - Lassez, McAloon - 1992
Documents on the same site (http://www.cs.kuleuven.ac.be/cwis/research/ai/publications/abstracts.94.html):
An Almost Perfect Abstraction Operator for Partial Deduction - Leuschel, De Schreye (1994) (Correct)
Towards a Practical Full Mode Inference System for CLP(H,N) - Dumortier, Janssens (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