TY  - GEN
AU  - Baum,Gabriel Alfredo
AU  - Aguirre,Nazareno M.
AU  - Arroyo,Marcelo
TI  - Translating fork specifications into logic programs
KW  - COMPILADORES
KW  - TRADUCCIÓN
KW  - PROGRAMACIÓN LÓGICA
KW  - REQUERIMIENTOS/ESPECIFICACIONES
N1  - Formato de archivo: PDF. -- Este documento es producción intelectual de la Facultad de Informática - UNLP (Colección BIPA/Biblioteca); Journal of Computer Science & Technology, 1(4)
N2  - 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
UR  - http://goo.gl/AvmDBh
ER  -