Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
Search
  Pigozzi, Don Add to Alert Profile  
 
Options:
Date Reviewed  
  1 - 3 of 3 reviews    
  The behavior-realization adjunction and generalized homomorphic relations
Leavens G., Pigozzi D. Theoretical Computer Science 177(1): 183-216, 1997.  Type: Article

The authors present a generalization of a paper by Schoett [1] for algebras containing carrier sets that are not term-generated. Reading this lengthy paper is tedious because the authors introduce many nonclassical notions. They do not...
...
Apr 1 1998  
  Equality-test and if-then-else algebras
Pigozzi D. SIAM Journal on Computing 20(4): 766-805, 1991.  Type: Article
A data structure is a heterogeneous algebra in which every element is denoted by a ground term, i.e., a term without variables. A data type is an isomorphism class of a data structure….......
Jan 1 1993  
  Data types over multiple-valued logics
Pigozzi D. Theoretical Computer Science 77(1-2): 161-194, 1990.  Type: Article

Pigozzi proposes to transform predicates in a relational structure into equations in an algebraic structure because of the many advantages of equational specifications over other specification methods. The process, known as algebraizat...
...
Aug 1 1992  

   
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy