NDLI: Sharing and groundness dependencies in logic programs

Content Provider	ACM Digital Library
Author	Codish, Michael Søndergaard, Harald Stuckey, Peter J.
Copyright Year	1999
Abstract	We investigate Jacobs and Langen's Sharing domain, introduced for the analysis of variable sharing in logic programs, and show that it is isomorphic to Marriott and Søndergaard's Pos domain, introduced for the analysis of groundness dependencies. Our key idea is to view the sets of variables in a Sharing domain element as the models of a corresponding Boolean function. This leads to a recasting of sharing analysis in terms of the property of “not being affected by the binding of a single variable.” Such an “unaffectedness dependency” analysis has close connections with groundness dependency analysis using positive Boolean functions. This new view improves our understanding of sharing analysis, and leads to an elegant expression of its combination with groundness dependency analysis based on the reduced product of Sharing and Pos. It also opens up new avenues for the efficient implementation of sharing analysis, for example using reduced order binary decision diagrams, as well as efficient implementation of the reduced product, using domain factorizations.
Starting Page	948
Ending Page	976
Page Count	29
File Format	PDF
ISSN	01640925
e-ISSN	15584593
DOI	10.1145/330249.330252
Volume Number	21
Issue Number	5
Journal	ACM Transactions on Programming Languages and Systems (TOPLAS)
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	1999-09-01
Publisher Place	New York
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Boolean functions Abstract interpretation Dataflow analysis Global analysis Groundness analysis Program analysis Sharing analysis
Content Type	Text
Resource Type	Article
Subject	Software

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Denotational abstract interpretation of logic programs

Sharing and Groundness Dependencies in Logic Programs (1999)

Termination analysis of logic programs through combination of type-based norms

Precise and efficient groundness analysis for logic programs

Precise and Efficient Groundness Analysis for Logic Programs (1993)

Sharing and Groundness Dependencies in Logic Programs (1999)

Global analysis of constraint logic programs

Implementing Groundness Analysis with Definite Boolean Functions (2000)

An abstract interpretation scheme for groundness, freeness, and sharing analysis of logic programs (1992)

Sharing and groundness dependencies in logic programs

Similar Documents

Denotational abstract interpretation of logic programs

Sharing and Groundness Dependencies in Logic Programs (1999)

Termination analysis of logic programs through combination of type-based norms

Precise and efficient groundness analysis for logic programs

Precise and Efficient Groundness Analysis for Logic Programs (1993)

Sharing and Groundness Dependencies in Logic Programs (1999)

Global analysis of constraint logic programs

Implementing Groundness Analysis with Definite Boolean Functions (2000)

An abstract interpretation scheme for groundness, freeness, and sharing analysis of logic programs (1992)

Sharing and groundness dependencies in logic programs