Magic for Filter Optimization in Dynamic Bottom-up Processing

dc.creatorMinnen, Guido
dc.date1996-04-29
dc.date.accessioned2026-07-07T09:10:12Z
dc.date.available2026-07-07T09:10:12Z
dc.descriptionOff-line compilation of logic grammars using Magic allows an incorporation of filtering into the logic underlying the grammar. The explicit definite clause characterization of filtering resulting from Magic compilation allows processor independent and logically clean optimizations of dynamic bottom-up processing with respect to goal-directedness. Two filter optimizations based on the program transformation technique of Unfolding are discussed which are of practical and theoretical interest.
dc.description8 pages LaTeX (uses aclap.sty)
dc.identifierhttps://arxiv.org/abs/cmp-lg/9604019
dc.identifierhttp://arxiv.org/abs/cmp-lg/9604019
dc.identifierProceedings of ACL 96, Santa Cruz, USA, June 23-28
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/151285
dc.subjectComputation and Language
dc.titleMagic for Filter Optimization in Dynamic Bottom-up Processing
dc.typetext

Files

Collections