Baum, Gabriel Alfredo <br/><br/>
Translating fork specifications into logic programs 

 - 1 archivo (225,1 KB) 
<br/><br/> Formato de archivo: PDF. -- Este documento es producción intelectual de la Facultad de Informática - UNLP (Colección BIPA/Biblioteca) 
<br/><br/> 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. 
<br/><br/>
<br/><br/><label>Standard No.: </label>DIF-M6853 
<br/><br/><label>Subjects--Topical Terms: </label><br/>COMPILADORES<br/>TRADUCCIÓN<br/>PROGRAMACIÓN LÓGICA<br/>REQUERIMIENTOS/ESPECIFICACIONES