scientific article; zbMATH DE number 1832223

zbMATH Open0997.68510MaRDI QIDQ4778701FDOQ4778701

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

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

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

Mathematics Subject Classification ID

Logic programming (68N17)

Cited In (4)

• Boolean functions for finite-tree dependencies
• Analysis of logic programs using regular tree languages (extended abstract)
• Title not available (Why is that?)
• 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)