Re: Short-Circuit Boolean Expression Evaluation

"Piotr Wyderski" <wyderski@ii.uni.wroc.pl>
21 Sep 2004 22:15:58 -0400

          From comp.compilers
Related articles
Short-Circuit Boolean Expression Evaluation webposter2004@yahoo.com (2004-09-14)
Re: Short-Circuit Boolean Expression Evaluation wyderski@ii.uni.wroc.pl (Piotr Wyderski) (2004-09-21)
| List of all articles for this month |
From: "Piotr Wyderski" <wyderski@ii.uni.wroc.pl>
Newsgroups: comp.compilers
Date: 21 Sep 2004 22:15:58 -0400
Organization: Faculty of Computer Science, University of Wroclaw
References: 04-09-105
Keywords: optimize
Posted-Date: 21 Sep 2004 22:15:58 EDT

webposter wrote:


> I am looking for information on a data structure (and associated
> algorithm) to do short-circuit evaluation of boolean expressions and
> haven't found a single one even after googing for two days!


Ask Google about Binary Decision Diagrams (BDD), you'll find ~15,000
references. Many programs use this data structure and its variants.


> Can anyone point me to good resources


Try any handbook on automatic verification.


> I want to implement the algorithm/data structure in C.


There are several free libraries, perhaps you should use one of them.


        Best regards
        Piotr Wyderski

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.