Normal view MARC view ISBD view

Translating fork specifications into logic programs

By:

Baum, Gabriel Alfredo

Contributor(s):

Material type: Article

ArticlePublication details: ref_localidad@NULL : Universidad Nacional de La Plata. Facultad de Informática, 2001Description: 1 archivo (225,1 KB)Subject(s):

Online resources:

Summary: 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.

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
Capítulo de libro	Biblioteca Fac.Informática	A0593 (Browse shelf(Opens below))	Available		DIF-A0593

Formato de archivo: PDF. -- Este documento es producción intelectual de la Facultad de Informática - UNLP (Colección BIPA/Biblioteca)

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.

Journal of Computer Science & Technology, 1(4)

There are no comments on this title.

to post a comment.