Upload resources

Upload your works to SEDICI to increase its visibility and improve its impact

 

Show simple item record

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


Download Files

Thumbnail
Documento completo
Download file (219.8Kb) - PDF
Icon
External link

This item appears in the following Collection(s)

Creative Commons Attribution-NonCommercial 3.0 Unported (CC BY-NC 3.0) Except where otherwise noted, this item's license is described as Creative Commons Attribution-NonCommercial 3.0 Unported (CC BY-NC 3.0)