scientific article; zbMATH DE number 4178749

zbMATH Open0715.68015MaRDI QIDQ3201750FDOQ3201750

Jean-François Monin

Publication date: 1989

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 572196
• Parma—bridging the performance gap between imperative and logic programming
• A verified prolog compiler for the Warren Abstract Machine
• Some global optimizations for a PROLOG compiler
• scientific article

zbMATH Keywords

Prologcompiler

Mathematics Subject Classification ID

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

Cited In (1)

• Title not available (Why is that?)

This page was built for publication:

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