scientific article; zbMATH DE number 1497841

MaRDI QIDQ4499269zbMATH OpenFDO

Authors Kyoung-Sun Kang, Naoyuki Tamura

Publication date 6 March 2001

zbMATH Keywords

linear logic programming language

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• A proof-theoretic approach to the static analysis of logic programs
• scientific article; zbMATH DE number 1420807
• scientific article; zbMATH DE number 1420806
• On the complexity analysis of static analyses
• scientific article; zbMATH DE number 1324432

Cites work

• Abstract interpretation and application to logic programs
• Forum: A multiple-conclusion specification logic
• Grammar Analysis and Parsing by Abstract Interpretation
• scientific article; zbMATH DE number 1231530 (Why is no real title available?)
• scientific article; zbMATH DE number 1420807 (Why is no real title available?)
• Linear logic
• Logic programming in a fragment of intuitionistic linear logic
• Logic Programming with Focusing Proofs in Linear Logic
• Uniform proofs as a foundation for logic programming

Describes a project that uses

Uses Software

• Lolli

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