Practical program analysis using general purpose logic programming systems - a case study

Steven Dawson; C. R. Ramakrishnan; David S. Warren

Practical program analysis using general purpose logic programming systems - a case study

Steven Dawson
, C. R. Ramakrishnan
, David S. Warren

Computer Science

Stony Brook University

Stony Brook University

Research output: Contribution to conference › Paper › peer-review

62 Scopus citations

Abstract

Study shows that it is indeed possible to use declarative formulations in practical systems, when combined judiciously with the appropriate tools of evaluations. This paper describes the implementation of logical formulations of two existing analysis techniques: groundness analysis of logic programs and strictness analysis of logic programs. The XSB system is used is used as the evaluation tool. Experimental evidence shows that the resultant groundness and strictness analysis system are practical in terms of both time and space.

Original language	English
Pages	117-126
Number of pages	10
State	Published - 1996
Event	Proceedings of the ACM SIGPLAN'96 Conference on Programming Language Design and Implementation, PLDI - Philadelphia, PA, USA Duration: May 21 1996 → May 24 1996

Conference

Conference	Proceedings of the ACM SIGPLAN'96 Conference on Programming Language Design and Implementation, PLDI
City	Philadelphia, PA, USA
Period	05/21/96 → 05/24/96

Cite this

@conference{ca3a1b41a84c4e45bae04fefe0dd32a1,

title = "Practical program analysis using general purpose logic programming systems - a case study",

abstract = "Study shows that it is indeed possible to use declarative formulations in practical systems, when combined judiciously with the appropriate tools of evaluations. This paper describes the implementation of logical formulations of two existing analysis techniques: groundness analysis of logic programs and strictness analysis of logic programs. The XSB system is used is used as the evaluation tool. Experimental evidence shows that the resultant groundness and strictness analysis system are practical in terms of both time and space.",

author = "Steven Dawson and Ramakrishnan, \{C. R.\} and Warren, \{David S.\}",

year = "1996",

language = "English",

pages = "117--126",

note = "Proceedings of the ACM SIGPLAN'96 Conference on Programming Language Design and Implementation, PLDI ; Conference date: 21-05-1996 Through 24-05-1996",

}

Practical program analysis using general purpose logic programming systems - a case study. / Dawson, Steven; Ramakrishnan, C. R.; Warren, David S.
1996. 117-126 Paper presented at Proceedings of the ACM SIGPLAN'96 Conference on Programming Language Design and Implementation, PLDI, Philadelphia, PA, USA.

Research output: Contribution to conference › Paper › peer-review

TY - CONF

T1 - Practical program analysis using general purpose logic programming systems - a case study

AU - Dawson, Steven

AU - Ramakrishnan, C. R.

AU - Warren, David S.

PY - 1996

Y1 - 1996

N2 - Study shows that it is indeed possible to use declarative formulations in practical systems, when combined judiciously with the appropriate tools of evaluations. This paper describes the implementation of logical formulations of two existing analysis techniques: groundness analysis of logic programs and strictness analysis of logic programs. The XSB system is used is used as the evaluation tool. Experimental evidence shows that the resultant groundness and strictness analysis system are practical in terms of both time and space.

AB - Study shows that it is indeed possible to use declarative formulations in practical systems, when combined judiciously with the appropriate tools of evaluations. This paper describes the implementation of logical formulations of two existing analysis techniques: groundness analysis of logic programs and strictness analysis of logic programs. The XSB system is used is used as the evaluation tool. Experimental evidence shows that the resultant groundness and strictness analysis system are practical in terms of both time and space.

UR - https://www.scopus.com/pages/publications/0029702034

M3 - Paper

SP - 117

EP - 126

T2 - Proceedings of the ACM SIGPLAN'96 Conference on Programming Language Design and Implementation, PLDI

Y2 - 21 May 1996 through 24 May 1996

ER -

Practical program analysis using general purpose logic programming systems - a case study

Abstract

Conference

Other files and links

Fingerprint

Cite this