scientific article; zbMATH DE number 1832223

MaRDI QIDQ4778701zbMATH OpenFDO

Authors Roberto Bagnara, Roberta Gori, Patricia M. Hill, Enea Zaffanella

Publication date 19 November 2002

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

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Finite-tree analysis for constraint logic-based languages
• Boolean functions for finite-tree dependencies
• Pair-sharing over rational trees
• A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree languages
• Finite and Rational Tree Constraints

Cited in

(4)

• Boolean functions for finite-tree dependencies
• Analysis of logic programs using regular tree languages (extended abstract)
• scientific article; zbMATH DE number 1617329 (Why is no real title available?)
• Finite-tree analysis for constraint logic-based languages

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