No CrossRef data available.
Article contents
FUNCTIONAL PEARL Functional satisfaction
Published online by Cambridge University Press: 27 October 2004
Abstract
Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.
This work presents simple decision procedures for the propositional calculus and for a simple predicate calculus. These decision procedures are based upon enumeration of the possible values of the variables in an expression. Yet, by taking advantage of the sequential semantics of boolean connectors, not all values are enumerated. In some cases, dramatic savings of machine time can be achieved. In particular, an equivalence checker for a small programming language appears to be usable in practice.
- Type
- Functional pearls
- Information
- Copyright
- © 2004 Cambridge University Press
You have
Access
Discussions
No Discussions have been published for this article.