Roberto Bagnara  Home/Search
Context
Related
| cs.unipr.it/~bagnara/Paper...GULP96.pdf 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.unipr.it/~bagnara/Pa...linkall (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper have been experimentally validated in the context of the development of the China analyzer [2]. China is a data-flow analyzer for CLP(H, (Update)
Similar documents (at the sentence level):
61.5%: A Reactive Implementation of Pos Using ROBDDs - Bagnara (1996) (Correct)
Active bibliography (related documents): More All
0.2: Straight ROBDDS are not the Best for Pos - Bagnara (Correct)
0.1: Semantics-Based Program Analysis for Logic-Based Languages .. - Codish, Demoen, Sagonas (1998) (Correct)
0.1: Structural Information Analysis for CLP Languages - Bagnara (1997) (Correct)
Similar documents based on text: More All
0.5: Factorizing Equivalent Variable Pairs in ROBDD-Based.. - Bagnara, Schachte (1998) (Correct)
0.5: An Efficient ROBDD Package - Møller, Østergaard (1996) (Correct)
BibTeX entry: (Update)
@misc{ bagnara-straight,
author = "Roberto Bagnara",
title = "Straight ROBDDS are not the Best for Pos",
url = "citeseer.ist.psu.edu/421124.html" }
Citations (may not include all citations):510 Symbolic boolean manipulation with ordered binary-decision d.. - Bryant - 1992
77 Combinations of abstract domains for logic programming - Cortesi, Le Charlier et al. - 1994
70 A Semantics-based Framework for the Abstract Interpretation .. (context) - Jones, Sndergaard - 1987
62 Some Global Optimizations for a Prolog Compiler (context) - Mellish - 1985
58 Two classes of boolean functions for dependency analysis - Armstrong, Marriott et al. - 1994
14 the detection of implicit and redundant numeric constraints .. - Bagnara - 1994
14 A reactive implementation of Pos using ROBDDs - Bagnara - 1996
11 Evaluation of the domain PROP (context) - Van Hentenryck, Cortesi et al. - 1995
Documents on the same site (http://www.cs.unipr.it/~bagnara/Papers/PDF/linkall.html): More
Decomposing Non-Redundant Sharing by Complementation - Zaffanella, Hill, Bagnara (2001) (Correct)
Enhanced Sharing Analysis Techniques: A Comprehensive.. - Bagnara, Zaffanella, Hill (2000) (Correct)
A Unified Proof For The Convergence Of Jacobi And Gauss-Seidel.. - Bagnara (1995) (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