Non-termination Analysis of Logic Programs Using Types

DOI10.1007/978-3-642-20551-4_9zbMath1326.68065OpenAlexW1605371072MaRDI QIDQ3003491

Dean Voets, Danny De Schreye

Publication date: 27 May 2011

Published in: Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-20551-4_9

zbMATH Keywords

typesprogram specializationnon-failure analysisnon-termination analysis

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (1)

Checking termination of bottom-up evaluation of logic programs with function symbols

Cites Work

• Unnamed Item
• Termination prediction for general logic programs
• Termination of logic programs: the never-ending story
• A New Approach to Non-termination Analysis of Logic Programs
• A type system for logic programs
• Static Analysis

This page was built for publication: Non-termination Analysis of Logic Programs Using Types