Re: Short-Circuit Boolean Expression Evaluation

"Piotr Wyderski" <>
21 Sep 2004 22:15:58 -0400

          From comp.compilers

Related articles
Short-Circuit Boolean Expression Evaluation (2004-09-14)
Re: Short-Circuit Boolean Expression Evaluation (Piotr Wyderski) (2004-09-21)
| List of all articles for this month |

From: "Piotr Wyderski" <>
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.