scientific article; zbMATH DE number 1543038

MaRDI QIDQ4520488zbMATH OpenFDO

Authors Keehang Kwon

Publication date 26 February 2001

zbMATH Keywords

logic programmingcompliation

Mathematics Subject Classification ID

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

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

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)