Sharing Analysis for Logic Programs using Set Logic Programs

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

Original language	English
Title of host publication	1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'96, Donostia-San Sebastian, Spain, July 15-18, 1996
Editors	Paqui Lucio, Maurizio Martelli, Marisa Navarro
Pages	29-40
Number of pages	12
State	Published - 1996

Cite this

@inproceedings{86317e2ebaa648a3b9dd44a7ac3790c1,

title = "Sharing Analysis for Logic Programs using Set Logic Programs",

author = "Michael Codish and Vitaly Lagoon and Francisco Bueno",

year = "1996",

language = "English",

pages = "29--40",

editor = "Paqui Lucio and Maurizio Martelli and Marisa Navarro",

booktitle = "1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'96, Donostia-San Sebastian, Spain, July 15-18, 1996",

}

Sharing Analysis for Logic Programs using Set Logic Programs. / Codish, Michael; Lagoon, Vitaly; Bueno, Francisco.
1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'96, Donostia-San Sebastian, Spain, July 15-18, 1996. ed. / Paqui Lucio; Maurizio Martelli; Marisa Navarro. 1996. p. 29-40.

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

TY - GEN

T1 - Sharing Analysis for Logic Programs using Set Logic Programs

AU - Codish, Michael

AU - Lagoon, Vitaly

AU - Bueno, Francisco

PY - 1996

Y1 - 1996

M3 - Conference contribution

SP - 29

EP - 40

BT - 1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'96, Donostia-San Sebastian, Spain, July 15-18, 1996

A2 - Lucio, Paqui

A2 - Martelli, Maurizio

A2 - Navarro, Marisa

ER -