Translating fork specifications into logic programs

Título:

Translating fork specifications into logic programs

Autor:

Baum, Gabriel Alfredo

Colaboradores:

; Aguirre, Nazareno M.; Arroyo, Marcelo

Temas:

COMPILADORESTRADUCCIÓNPROGRAMACIÓN LÓGICAREQUERIMIENTOS/ESPECIFICACIONES

En:

Journal of Computer Science & Technology, 1(4)

Resumen:

In this work a compiler from fork specifications into logic programs is presented. The technique implemented by the compiler consists of transforming a set of fork equations (with some restrictions) into normal logic programs in such a way that the semantics of the fork equations is preserved. After translating a fork specification, it can be executed by consulting the generated logic program. The fork compiler, a tool for the translation, is also introduced.

URL/DOI:

http://goo.gl/AvmDBh

Medio:

Soporte electrónico

Tipo de documento:

Artículo

Descripción física:

1 archivo (225,1 KB)

Idioma:

Inglés

Publicación:

Universidad Nacional de La Plata. Facultad de Informática, 2001

Puede solicitar más fácilmente el ejemplar con: A0593

Ver estantes