Abstract Domains Based on Regular Types

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research

431 Downloads (Pure)

Original language	Danish
Title of host publication	20th International Conference, ICLP 2004, Proceedings
Editors	Bart Demoen, Vladimir Lifschitz
Publisher	Springer
Publication date	2004
ISBN (Print)	3-540-22671-0
Publication status	Published - 2004
Event	The 20th International Conference on Logic Programming - Saint-Malo, France Duration: 6 Sept 2004 → 10 Sept 2004

Conference	The 20th International Conference on Logic Programming
Country/Territory	France
City	Saint-Malo
Period	06/09/2004 → 10/09/2004

Access to Document

@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 -