No CrossRef data available.
Article contents
Generalized implication equation languages
Published online by Cambridge University Press: 09 April 2009
Abstract
The calculus for equational implication languages given by Selman is generalized to handle the logical equivalent if the if…then…else… construct of high level programming languages. The relevance of these results to current investigations in the algebraic specifications of data types is discussed.
- Type
- Research Article
- Information
- Copyright
- Copyright © Australian Mathematical Society 1985