INVESTIGADORES
FRIAS Marcelo Fabian
capítulos de libros
Título:
Fork Algebras
Autor/es:
HAEBERER, ARMANDO MARTIN; FRIAS, MARCELO FABIAN; BAUM, GABRIEL; VELOSO, PAULO AUGUSTO
Libro:
Relational Methods in Computer Science
Editorial:
Springer
Referencias:
Año: 1997; p. 54 - 69
Resumen:
In this chapter we will present the class of fork algebras, an extension of
relation algebras with an extra operator called {\em fork}. We will present
results relating fork algebras both to logic and to computer science. The
interpretability of first-order theories as equational theories in fork algebras
will provide a tool for expressing program specifications as fork algebra
equations. Furthermore, the finite axiomatizability of this class of algebras
will show to have deep influence in the precess of program development within a
relational calculus based on fork algebras.
Se incluye como attachment un outline del capitulo.
