Automatic inference of determinacy and mutual exclusion for logic programs using mode and type analyses
type: Item
instance of: scholarly article
title: Automatic inference of determinacy and mutual exclusion for logic programs using mode and type analyses
zbMATH Open document ID: 1192.68130
author: P. López-García
author: F. Bueno
author: Manuel Hermenegildo
published in: New Generation Computing
publication date: 2010-06-29T00:00:00Z
full work available at URL: http://oa.upm.es/13285/
Mathematics Subject Classification ID: 68N17
zbMATH DE Number: 5728322
zbMATH Keywords: determinacy inference and checking
zbMATH Keywords: types
zbMATH Keywords: program analysis
zbMATH Keywords: debugging
zbMATH Keywords: optimization
describes a project that uses: Ciao
describes a project that uses: Mercury
describes a project that uses: CiaoPP
MaRDI profile type: Publication
OpenAlex ID: W2061246700
cites work: A Polynomial Time Algorithm for Solving Systems of Linear Inequalities with Two Variables Per Inequality
cites work: Efficient run-time type checking of typed logic programs
cites work: Checking modes of HAL programs
cites work: Q4198056
cites work: Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)
cites work: Deriving descriptions of possible values of program variables by means of abstract interpretation
cites work: Detecting Determinacy in Prolog Programs
cites work: Q3789064
cites work: Determinacy Analysis for Logic Programs Using Mode and Type Information
cites work: Programming Languages and Systems
cites work: The execution algorithm of mercury, an efficient purely declarative logic programming language
cites work: Q4411953
DOI: 10.1007/S00354-008-0085-1
Recommended article: Determinacy Analysis for Logic Programs Using Mode and Type Information
Recommended article: Static Analysis
Recommended article: Automatic mode inference for logic programs
Recommended article: Non-termination Analysis of Logic Programs Using Types
Recommended article: Programming Languages and Systems
Recommended article: Q2723918
Recommended article: Determinacy analysis for efficient execution of logic programs
Recommended article: Q2763645
Recommended article: Automata-theoretic techniques for modal logics of programs
Recommended article: Q3086788
description: scientific article; zbMATH DE number 5728322