Busque entre los 165885 recursos disponibles en el repositorio
Mostrar el registro sencillo del ítem
dc.date.accessioned | 2004-03-31T19:27:05Z | |
dc.date.available | 2004-03-31T03:00:00Z | |
dc.date.issued | 2001 | es |
dc.identifier.uri | http://sedici.unlp.edu.ar/handle/10915/9407 | |
dc.description.abstract | 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. | es |
dc.language | en | es |
dc.subject | Programación lógica | es |
dc.title | Translating fork specifications into logic programs | es |
dc.type | Articulo | es |
sedici.identifier.uri | http://journal.info.unlp.edu.ar/wp-content/uploads/pap31.pdf | es |
sedici.creator.person | Baum, Gabriel Alfredo | es |
sedici.creator.person | Aguirre, Nazareno Matías | es |
sedici.creator.person | Arroyo, Marcelo | es |
sedici.subject.materias | Ciencias Informáticas | es |
sedici.description.fulltext | true | es |
mods.originInfo.place | Facultad de Informática | es |
sedici.subtype | Articulo | es |
sedici.rights.license | Creative Commons Attribution-NonCommercial 3.0 Unported (CC BY-NC 3.0) | |
sedici.rights.uri | http://creativecommons.org/licenses/by-nc/3.0/ | |
sedici.description.peerReview | peer-review | es |
sedici2003.identifier | ARG-UNLP-ART-0000000164 | es |
sedici.relation.journalTitle | Journal of Computer Science & Technology | es |
sedici.relation.journalVolumeAndIssue | vol. 1, no. 4 | es |