Automatic mode inference for logic programs
From MaRDI portal
Publication:3792215
DOI10.1016/0743-1066(88)90010-6zbMath0647.68010OpenAlexW1975813326MaRDI QIDQ3792215
Saumya Debray, David S. Warren
Publication date: 1988
Published in: The Journal of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0743-1066(88)90010-6
unificationlogic programshashingaliasingdataflow analysismulti-disk data allocationeffttribute records on several disks so as to achieve high degree of concurrency of disk accessmode informationProlog compiler
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (7)
An Improved Proof-Theoretic Compilation of Logic Programs ⋮ Optimization schemas for parallel implementation of non‐deterministic languages and systems ⋮ Termination of narrowing via termination of rewriting ⋮ From LCF to Isabelle/HOL ⋮ On the complexity of dataflow analysis of logic programs ⋮ Type inference in Prolog: A new approach ⋮ Derivation of efficient logic programs by specialization and reduction of nondeterminism
This page was built for publication: Automatic mode inference for logic programs
