Experiments with a Convex Polyhedral Analysis Tool for Logic Programs

Kim Steen Henriksen, Gourinath Banda, John Patrick Gallagher

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

OriginalsprogEngelsk
TitelWLPE 2007 : Proceedings of the 17th Workshop on Logic-based methods in Programming Environments
RedaktørerPatricia Hill, Wim Vanhoof
Antal sider18
ForlagUniversity of Porto
Publikationsdato2007
Sider99-116
StatusUdgivet - 2007
BegivenhedWLPE 2007 - Porto, Portugal
Varighed: 13 sep. 200713 sep. 2007
Konferencens nummer: 17

Konference

KonferenceWLPE 2007
Nummer17
LandPortugal
ByPorto
Periode13/09/200713/09/2007

Bibliografisk note

Bidraget er også offentliggjort på arXiv.org

Citer dette