| 000 | 01351naa a2200265 a 4500 | ||
|---|---|---|---|
| 003 | AR-LpUFIB | ||
| 005 | 20250311170426.0 | ||
| 008 | 230201s2001 xx o 000 0 eng d | ||
| 024 | 8 |
_aDIF-M6853 _b6987 _zDIF006258 |
|
| 040 |
_aAR-LpUFIB _bspa _cAR-LpUFIB |
||
| 100 | 1 | _aBaum, Gabriel Alfredo | |
| 245 | 1 | 0 | _aTranslating fork specifications into logic programs |
| 300 | _a1 archivo (225,1 KB) | ||
| 500 | _aFormato de archivo: PDF. -- Este documento es producción intelectual de la Facultad de Informática - UNLP (Colección BIPA/Biblioteca) | ||
| 520 | _aIn 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. | ||
| 534 | _aJournal of Computer Science & Technology, 1(4) | ||
| 650 | 4 | _aCOMPILADORES | |
| 650 | 4 | _aTRADUCCIÓN | |
| 650 | 4 | _aPROGRAMACIÓN LÓGICA | |
| 650 | 4 | _aREQUERIMIENTOS/ESPECIFICACIONES | |
| 700 | 1 | _aAguirre, Nazareno M. | |
| 700 | 1 | _aArroyo, Marcelo | |
| 856 | 4 | 0 | _uhttp://goo.gl/AvmDBh |
| 942 | _cCP | ||
| 999 |
_c56039 _d56039 |
||