Global Optimizations in a Prolog Compiler for the Toam

DOI10.1016/S0743-1066(14)80001-0MaRDI QIDQ4696740zbMATH OpenOpenAlexWikidataFDO

Authors Neng-Fa Zhou

Publication date 29 June 1993

Published in The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0743-1066(14)80001-0

Mathematics Subject Classification ID

Logic programming (68N17) Theory of compilers and interpreters (68N20)

Recommendations

• Some global optimizations for a PROLOG compiler
• A verified prolog compiler for the Warren Abstract Machine
• scientific article; zbMATH DE number 773979
• scientific article; zbMATH DE number 572196
• The language features and architecture of B-Prolog

Cited in

(3)

• The language features and architecture of B-Prolog
• Some global optimizations for a PROLOG compiler
• Two WAM Implementations of Action Rules

This page was built for publication: Global Optimizations in a Prolog Compiler for the Toam

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4696740)