scientific article; zbMATH DE number 1692903

MaRDI QIDQ2763645zbMATH OpenFDO

Authors V. Lagoon, Peter J. Stuckey

Publication date 21 January 2002

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2024/20240296

Mathematics Subject Classification ID

Logic programming (68N17) Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 1615253
• scientific article; zbMATH DE number 2084361
• Typed static analysis: Application to the groundness analysis of typed prolog
• Generalizing Def and Pos to Type Analysis
• Logic Programming

Cited in

(12)

• Type dependencies for logic programs using ACI-unification
• scientific article; zbMATH DE number 1615253 (Why is no real title available?)
• Typed static analysis: Application to the groundness analysis of typed prolog
• scientific article; zbMATH DE number 1696600 (Why is no real title available?)
• Analysis of polymorphically typed logic programs using ACI-unification
• Non-termination Analysis of Logic Programs Using Types
• The Logic of Typed Feature Structures
• scientific article; zbMATH DE number 549959 (Why is no real title available?)
• scientific article; zbMATH DE number 2084361 (Why is no real title available?)
• Improving precision of type analysis using non-discriminative union
• Determinacy Analysis for Logic Programs Using Mode and Type Information
• Automatic inference of determinacy and mutual exclusion for logic programs using mode and type analyses

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