Cost analysis of logic programs

Saumya K Debray, Nai Wei Lin

Research output: Contribution to journalArticle

81 Citations (Scopus)

Abstract

Cost analysis of programs has been studied in the context of imperative and functional programming languages. For logic programs, the problem is complicated by the fact that programs may be nondeterministic and produce multiple solutions. This paper addresses these problems and develops a method for (semi-)automatic analysis of the worst-case cost of a large class of logic programs. The primary contribution of this paper is the development of techniques to deal with nondeterminism and the generation of multiple solutions via backtracking.

Original languageEnglish (US)
Pages (from-to)826-875
Number of pages50
JournalACM Transactions on Programming Languages and Systems
Volume15
Issue number5
DOIs
StatePublished - Nov 1993

Fingerprint

Functional programming
Computer programming languages
Costs

ASJC Scopus subject areas

  • Computer Graphics and Computer-Aided Design
  • Software

Cite this

Cost analysis of logic programs. / Debray, Saumya K; Lin, Nai Wei.

In: ACM Transactions on Programming Languages and Systems, Vol. 15, No. 5, 11.1993, p. 826-875.

Research output: Contribution to journalArticle

@article{d7a0da2754584443a88b5fb1e19eabd3,
title = "Cost analysis of logic programs",
abstract = "Cost analysis of programs has been studied in the context of imperative and functional programming languages. For logic programs, the problem is complicated by the fact that programs may be nondeterministic and produce multiple solutions. This paper addresses these problems and develops a method for (semi-)automatic analysis of the worst-case cost of a large class of logic programs. The primary contribution of this paper is the development of techniques to deal with nondeterminism and the generation of multiple solutions via backtracking.",
author = "Debray, {Saumya K} and Lin, {Nai Wei}",
year = "1993",
month = "11",
doi = "10.1145/161468.161472",
language = "English (US)",
volume = "15",
pages = "826--875",
journal = "ACM Transactions on Programming Languages and Systems",
issn = "0164-0925",
publisher = "Association for Computing Machinery (ACM)",
number = "5",

}

TY - JOUR

T1 - Cost analysis of logic programs

AU - Debray, Saumya K

AU - Lin, Nai Wei

PY - 1993/11

Y1 - 1993/11

N2 - Cost analysis of programs has been studied in the context of imperative and functional programming languages. For logic programs, the problem is complicated by the fact that programs may be nondeterministic and produce multiple solutions. This paper addresses these problems and develops a method for (semi-)automatic analysis of the worst-case cost of a large class of logic programs. The primary contribution of this paper is the development of techniques to deal with nondeterminism and the generation of multiple solutions via backtracking.

AB - Cost analysis of programs has been studied in the context of imperative and functional programming languages. For logic programs, the problem is complicated by the fact that programs may be nondeterministic and produce multiple solutions. This paper addresses these problems and develops a method for (semi-)automatic analysis of the worst-case cost of a large class of logic programs. The primary contribution of this paper is the development of techniques to deal with nondeterminism and the generation of multiple solutions via backtracking.

UR - http://www.scopus.com/inward/record.url?scp=0027697266&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0027697266&partnerID=8YFLogxK

U2 - 10.1145/161468.161472

DO - 10.1145/161468.161472

M3 - Article

AN - SCOPUS:0027697266

VL - 15

SP - 826

EP - 875

JO - ACM Transactions on Programming Languages and Systems

JF - ACM Transactions on Programming Languages and Systems

SN - 0164-0925

IS - 5

ER -