Freeness, Sharing, linearity and correctness- all at once

M. Bruynooghe; M. Codish

doi:10.1007/3-540-57264-3_37

Freeness, Sharing, linearity and correctness- all at once

M. Bruynooghe, M. Codish

Department of Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

13 Scopus citations

Abstract

The availability of freeness and sharing information for logic programs has proven useful in a wide variety of applications. However, deriving correct freeness and sharing information turns out to be a complex task. In a recent paper, Codish et al. introduce a domain of abstract equation systems and illustrate the systematic derivation of an abstract unification algorithm for sharing and freeness. This paper follows the same approach, and using a more detailed abstraction, develops a more powerful transition system. The resulting algorithm is more prone to efficient implementation as it computes a single abstract solved form which exhibits sharing, freeness, groundness and linearity information.

Original language	English
Title of host publication	Static Analysis - 3rd International Workshop, WSA '93, Proceedings
Editors	Patrick Cousot, Moreno Falaschi, Gilberto File, Antoine Rauzy
Publisher	Springer Verlag
Pages	153-164
Number of pages	12
ISBN (Print)	9783540572640
DOIs	https://doi.org/10.1007/3-540-57264-3_37
State	Published - 1 Jan 1993
Event	3rd Workshop on Static Analysis, WSA 1993 - Padova, Italy Duration: 22 Sep 1993 → 24 Sep 1993

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	724 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	3rd Workshop on Static Analysis, WSA 1993
Country/Territory	Italy
City	Padova
Period	22/09/93 → 24/09/93

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/3-540-57264-3_37

Cite this

Bruynooghe, M., & Codish, M. (1993). Freeness, Sharing, linearity and correctness- all at once. In P. Cousot, M. Falaschi, G. File, & A. Rauzy (Eds.), Static Analysis - 3rd International Workshop, WSA '93, Proceedings (pp. 153-164). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 724 LNCS). Springer Verlag. https://doi.org/10.1007/3-540-57264-3_37

Bruynooghe, M. ; Codish, M. / Freeness, Sharing, linearity and correctness- all at once. Static Analysis - 3rd International Workshop, WSA '93, Proceedings. editor / Patrick Cousot ; Moreno Falaschi ; Gilberto File ; Antoine Rauzy. Springer Verlag, 1993. pp. 153-164 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{88666d572efc40879504d6b492790dad,

title = "Freeness, Sharing, linearity and correctness- all at once",

abstract = "The availability of freeness and sharing information for logic programs has proven useful in a wide variety of applications. However, deriving correct freeness and sharing information turns out to be a complex task. In a recent paper, Codish et al. introduce a domain of abstract equation systems and illustrate the systematic derivation of an abstract unification algorithm for sharing and freeness. This paper follows the same approach, and using a more detailed abstraction, develops a more powerful transition system. The resulting algorithm is more prone to efficient implementation as it computes a single abstract solved form which exhibits sharing, freeness, groundness and linearity information.",

author = "M. Bruynooghe and M. Codish",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1993.; 3rd Workshop on Static Analysis, WSA 1993 ; Conference date: 22-09-1993 Through 24-09-1993",

year = "1993",

month = jan,

day = "1",

doi = "10.1007/3-540-57264-3_37",

language = "English",

isbn = "9783540572640",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "153--164",

editor = "Patrick Cousot and Moreno Falaschi and Gilberto File and Antoine Rauzy",

booktitle = "Static Analysis - 3rd International Workshop, WSA '93, Proceedings",

address = "Germany",

}

Bruynooghe, M & Codish, M 1993, Freeness, Sharing, linearity and correctness- all at once. in P Cousot, M Falaschi, G File & A Rauzy (eds), Static Analysis - 3rd International Workshop, WSA '93, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 724 LNCS, Springer Verlag, pp. 153-164, 3rd Workshop on Static Analysis, WSA 1993, Padova, Italy, 22/09/93. https://doi.org/10.1007/3-540-57264-3_37

Freeness, Sharing, linearity and correctness- all at once. / Bruynooghe, M.; Codish, M.
Static Analysis - 3rd International Workshop, WSA '93, Proceedings. ed. / Patrick Cousot; Moreno Falaschi; Gilberto File; Antoine Rauzy. Springer Verlag, 1993. p. 153-164 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 724 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Freeness, Sharing, linearity and correctness- all at once

AU - Bruynooghe, M.

AU - Codish, M.

N1 - Publisher Copyright: © Springer-Verlag Berlin Heidelberg 1993.

PY - 1993/1/1

Y1 - 1993/1/1

N2 - The availability of freeness and sharing information for logic programs has proven useful in a wide variety of applications. However, deriving correct freeness and sharing information turns out to be a complex task. In a recent paper, Codish et al. introduce a domain of abstract equation systems and illustrate the systematic derivation of an abstract unification algorithm for sharing and freeness. This paper follows the same approach, and using a more detailed abstraction, develops a more powerful transition system. The resulting algorithm is more prone to efficient implementation as it computes a single abstract solved form which exhibits sharing, freeness, groundness and linearity information.

AB - The availability of freeness and sharing information for logic programs has proven useful in a wide variety of applications. However, deriving correct freeness and sharing information turns out to be a complex task. In a recent paper, Codish et al. introduce a domain of abstract equation systems and illustrate the systematic derivation of an abstract unification algorithm for sharing and freeness. This paper follows the same approach, and using a more detailed abstraction, develops a more powerful transition system. The resulting algorithm is more prone to efficient implementation as it computes a single abstract solved form which exhibits sharing, freeness, groundness and linearity information.

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

U2 - 10.1007/3-540-57264-3_37

DO - 10.1007/3-540-57264-3_37

M3 - Conference contribution

AN - SCOPUS:0037510097

SN - 9783540572640

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 153

EP - 164

BT - Static Analysis - 3rd International Workshop, WSA '93, Proceedings

A2 - Cousot, Patrick

A2 - Falaschi, Moreno

A2 - File, Gilberto

A2 - Rauzy, Antoine

PB - Springer Verlag

T2 - 3rd Workshop on Static Analysis, WSA 1993

Y2 - 22 September 1993 through 24 September 1993

ER -

Bruynooghe M, Codish M. Freeness, Sharing, linearity and correctness- all at once. In Cousot P, Falaschi M, File G, Rauzy A, editors, Static Analysis - 3rd International Workshop, WSA '93, Proceedings. Springer Verlag. 1993. p. 153-164. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-57264-3_37

Freeness, Sharing, linearity and correctness- all at once

Abstract

Publication series

Conference

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this