How to say greedy in fork algebras

Because of their expressive power, binary relations are widely used in program specification and development within formal calculi. The existence of a finite equational axiomatization for algebras of binary relations with a fork operation guarantees that the heuristic power coming from binary relati...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autores principales:	Baum, Gabriel Alfredo, Canal, Esteban de la, Frias, Marcelo F.
Formato:	Objeto de conferencia
Lenguaje:	Inglés
Publicado:	2001
Materias:	Ciencias Informáticas Algebraic language theory Greedy Fork Algebras
Acceso en línea:	http://sedici.unlp.edu.ar/handle/10915/23523
Aporte de:	SEDICI (UNLP) de Universidad Nacional de La Plata

id	I19-R120-10915-23523
record_format	dspace
institution	Universidad Nacional de La Plata
institution_str	I-19
repository_str	R-120
collection	SEDICI (UNLP)
language	Inglés
topic	Ciencias Informáticas Algebraic language theory Greedy Fork Algebras
spellingShingle	Ciencias Informáticas Algebraic language theory Greedy Fork Algebras Baum, Gabriel Alfredo Canal, Esteban de la Frias, Marcelo F. How to say greedy in fork algebras
topic_facet	Ciencias Informáticas Algebraic language theory Greedy Fork Algebras
description	Because of their expressive power, binary relations are widely used in program specification and development within formal calculi. The existence of a finite equational axiomatization for algebras of binary relations with a fork operation guarantees that the heuristic power coming from binary relations is captured inside an abstract equational calculus. In this paper we show how to express the greedy program design strategy into the first order theory of fork algebras.
format	Objeto de conferencia Objeto de conferencia
author	Baum, Gabriel Alfredo Canal, Esteban de la Frias, Marcelo F.
author_facet	Baum, Gabriel Alfredo Canal, Esteban de la Frias, Marcelo F.
author_sort	Baum, Gabriel Alfredo
title	How to say greedy in fork algebras
title_short	How to say greedy in fork algebras
title_full	How to say greedy in fork algebras
title_fullStr	How to say greedy in fork algebras
title_full_unstemmed	How to say greedy in fork algebras
title_sort	how to say greedy in fork algebras
publishDate	2001
url	http://sedici.unlp.edu.ar/handle/10915/23523
work_keys_str_mv	AT baumgabrielalfredo howtosaygreedyinforkalgebras AT canalestebandela howtosaygreedyinforkalgebras AT friasmarcelof howtosaygreedyinforkalgebras
bdutipo_str	Repositorios
_version_	1764820465748017153

How to say greedy in fork algebras

Ejemplares similares