Experiments with a Convex Polyhedral Analysis Tool for Logic Programs

Kim Steen Henriksen; Gourinath Banda; John Patrick Gallagher

Experiments with a Convex Polyhedral Analysis Tool for Logic Programs

Kim Steen Henriksen, Gourinath Banda, John Patrick Gallagher

Programmering, logik og intelligente systemer

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

Originalsprog	Engelsk
Titel	WLPE 2007 : Proceedings of the 17th Workshop on Logic-based methods in Programming Environments
Redaktører	Patricia Hill, Wim Vanhoof
Antal sider	18
Forlag	University of Porto
Publikationsdato	2007
Sider	99-116
Status	Udgivet - 2007
Begivenhed	WLPE 2007 - Porto, Portugal Varighed: 13 sep. 2007 → 13 sep. 2007 Konferencens nummer: 17

Konference

Konference	WLPE 2007
Nummer	17
Land/Område	Portugal
By	Porto
Periode	13/09/2007 → 13/09/2007

Bibliografisk note

Bidraget er også offentliggjort på arXiv.org

Link til dokument

http://arxiv.org/abs/0712.2737

Citer dette

@inproceedings{2231276065cd11dca402000ea68e967b,

title = "Experiments with a Convex Polyhedral Analysis Tool for Logic Programs",

keywords = "Abstract Interpretation, Convex Polyhedral Analysis, Constraint Logic Programming",

author = "Henriksen, {Kim Steen} and Gourinath Banda and Gallagher, {John Patrick}",

note = "Bidraget er ogs{\aa} offentliggjort p{\aa} arXiv.org; null ; Conference date: 13-09-2007 Through 13-09-2007",

year = "2007",

language = "English",

pages = "99--116",

editor = "Patricia Hill and Wim Vanhoof",

booktitle = "WLPE 2007",

publisher = "University of Porto",

}

Experiments with a Convex Polyhedral Analysis Tool for Logic Programs. / Henriksen, Kim Steen; Banda, Gourinath; Gallagher, John Patrick.

WLPE 2007: Proceedings of the 17th Workshop on Logic-based methods in Programming Environments. red. / Patricia Hill; Wim Vanhoof. University of Porto, 2007. s. 99-116.

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

TY - GEN

T1 - Experiments with a Convex Polyhedral Analysis Tool for Logic Programs

AU - Henriksen, Kim Steen

AU - Banda, Gourinath

AU - Gallagher, John Patrick

N1 - Conference code: 17

PY - 2007

Y1 - 2007

KW - Abstract Interpretation

KW - Convex Polyhedral Analysis

KW - Constraint Logic Programming

M3 - Article in proceedings

SP - 99

EP - 116

BT - WLPE 2007

A2 - Hill, Patricia

A2 - Vanhoof, Wim

PB - University of Porto

Y2 - 13 September 2007 through 13 September 2007

ER -