Titlebook: Implementations of Logic Programming Systems; Evan Tick,Giancarlo Succi Book 1994 Springer Science+Business Media New York 1994 C programm

Maudlin

書目名稱Implementations of Logic Programming Systems影響因子(影響力)




書目名稱Implementations of Logic Programming Systems影響因子(影響力)學(xué)科排名




書目名稱Implementations of Logic Programming Systems網(wǎng)絡(luò)公開度




書目名稱Implementations of Logic Programming Systems網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Implementations of Logic Programming Systems被引頻次




書目名稱Implementations of Logic Programming Systems被引頻次學(xué)科排名




書目名稱Implementations of Logic Programming Systems年度引用




書目名稱Implementations of Logic Programming Systems年度引用學(xué)科排名




書目名稱Implementations of Logic Programming Systems讀者反饋




書目名稱Implementations of Logic Programming Systems讀者反饋學(xué)科排名

BRACE

HAVOC

萬神殿

Implementing Sets with Hash Tables in Declarative Languages, First a brief overview about the SEL language, the SAM and the general architecture of a ., chosen for a parallel implementation of the abstract machine, is presented, then . and its use in the sequential SAM will be detailed. Eventually the extension of hashing to the parallel implementation of SAM is outlined and some conclusions are drawn.

抗體

碎片

語源學(xué)

voluble

Implementing Logic Programming Systems: The Quiche-Eating Approach,uential implementations of committed choice languages: QD-Janus, which translates to Prolog, and FCP(:), which compiles to a low-level byte-coded instruction set. Even though QD-Janus took significantly less time to implement, its performance is significantly better than that of FCP(:).

觀察

To Trim or Not to Trim?, lazy strategy delaying trimming until garbage collection. We also briefly discuss three ways of removing unsafe variables: delayed trimming, global analysis, and eager globalization of unbound variables. The paper includes data on the reduction of stack size enabled by trimming and on the cost of a higher number of unsafe variables in trimming.

Fester