Automatic inference of determinacy and mutual exclusion for logic programs using mode and type analyses

DOI10.1007/s00354-008-0085-1zbMath1192.68130OpenAlexW2061246700MaRDI QIDQ980470

Francisco Bueno, Pedro Lopez-Garcia, Manuel V. Hermenegildo

Publication date: 29 June 2010

Published in: New Generation Computing (Search for Journal in Brave)

Full work available at URL: http://oa.upm.es/13285/

zbMATH Keywords

optimizationtypesprogram analysisdebuggingdeterminacy inference and checking

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (4)

An overview of Ciao and its design philosophy ⋮ Parallel Logic Programming: A Sequel ⋮ Incremental and Modular Context-sensitive Analysis ⋮ Testing your (static analysis) truths

Uses Software

• Mercury
• Ciao
• CiaoPP

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)
• A Polynomial Time Algorithm for Solving Systems of Linear Inequalities with Two Variables Per Inequality
• Deriving descriptions of possible values of program variables by means of abstract interpretation
• Efficient run-time type checking of typed logic programs
• The execution algorithm of mercury, an efficient purely declarative logic programming language
• Programming Languages and Systems
• Detecting Determinacy in Prolog Programs
• Determinacy Analysis for Logic Programs Using Mode and Type Information
• Checking modes of HAL programs

This page was built for publication: Automatic inference of determinacy and mutual exclusion for logic programs using mode and type analyses