Logic Programming

DOI10.1007/11562931MaRDI QIDQ5475784zbMATH OpenOpenAlexFDO

Authors John P. Gallagher, Kim S. Henriksen, Gourinath Banda

Publication date 27 June 2006

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11562931

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Analysis of logic programs using regular tree languages (extended abstract)
• Logic Programming
• Finite-tree analysis for constraint logic-based languages
• Abstract interpretation and application to logic programs
• scientific article; zbMATH DE number 1954120

Cited in

(3)

• Analysis of Linear Hybrid Systems in CLP
• Logic Programming
• Analysis of logic programs using regular tree languages (extended abstract)

This page was built for publication: Logic Programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5475784)