scientific article; zbMATH DE number 1543038

zbMATH Open0960.68018MaRDI QIDQ4520488FDOQ4520488

Authors: Keehang Kwon 

Publication date: 26 February 2001

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

Recommendations

• Scoping constructs in logic programming: Implementation problems and their solution
• scientific article; zbMATH DE number 1479612
• scientific article; zbMATH DE number 1420805
• Declarative compilation for constraint logic programming
• scientific article; zbMATH DE number 549957
• scientific article; zbMATH DE number 4106291
• scientific article; zbMATH DE number 1954120
• An improved proof-theoretic compilation of logic programs
• Formal compiler construction in a logical framework
• Scope Logic: An Extension to Hoare Logic for Pointers and Recursive Data Structures

zbMATH Keywords

logic programmingcompliation

Mathematics Subject Classification ID

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

Cited In (1)

• Scope Logic: An Extension to Hoare Logic for Pointers and Recursive Data Structures

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 Q4520488)