Abstract Domains Based on Regular Types

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

Originalsprog	Dansk
Titel	20th International Conference, ICLP 2004, Proceedings
Redaktører	Bart Demoen, Vladimir Lifschitz
Forlag	Springer
Publikationsdato	2004
ISBN (Trykt)	3-540-22671-0
Status	Udgivet - 2004
Begivenhed	The 20th International Conference on Logic Programming - Saint-Malo, Frankrig Varighed: 6 sep. 2004 → 10 sep. 2004

Konference	The 20th International Conference on Logic Programming
Land/Område	Frankrig
By	Saint-Malo
Periode	06/09/2004 → 10/09/2004

Link til dokument

@inproceedings{f28c9e4052bd11dba4bc000ea68e967b,

title = "Abstract Domains Based on Regular Types",

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

year = "2004",

language = "Dansk",

isbn = "3-540-22671-0",

editor = "Bart Demoen and Vladimir Lifschitz",

booktitle = "20th International Conference, ICLP 2004, Proceedings",

publisher = "Springer",

note = "The 20th International Conference on Logic Programming ; Conference date: 06-09-2004 Through 10-09-2004",

}

TY - GEN

T1 - Abstract Domains Based on Regular Types

AU - Gallagher, John Patrick

AU - Henriksen, Kim Steen

PY - 2004

Y1 - 2004

M3 - Konferencebidrag i proceedings

SN - 3-540-22671-0

BT - 20th International Conference, ICLP 2004, Proceedings

A2 - Demoen, Bart

A2 - Lifschitz, Vladimir

PB - Springer

T2 - The 20th International Conference on Logic Programming

Y2 - 6 September 2004 through 10 September 2004

ER -