Fully Automatic Binding Time Analysis for Prolog

Stephen Craig; John Patrick Gallagher; Michael Leuschel; Kim Steen Henriksen

Fully Automatic Binding Time Analysis for Prolog

Stephen Craig, John Patrick Gallagher, Michael Leuschel, Kim Steen Henriksen

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

Originalsprog	Engelsk
Titel	Logic Based Program Synthesis and Transformation
Redaktører	Sandro Etalle
Forlag	Springer
Publikationsdato	2005
Sider	53-68
ISBN (Trykt)	3-540-26655-0
Status	Udgivet - 2005
Begivenhed	Logic-based Program Synthesis and Transformation 2004, 14th International Symposium, LOPSTR 2004 - Verona, Italien Varighed: 26 aug. 2005 → 28 aug. 2005

Konference

Konference	Logic-based Program Synthesis and Transformation 2004, 14th International Symposium, LOPSTR 2004
Land/Område	Italien
By	Verona
Periode	26/08/2005 → 28/08/2005

Bibliografisk note

Seriensstitel: Lecture Notes in Computer Science
Seriens nummer: 3573

Link til dokument

LNCS 35730053Forlagets udgivne version, 214 KB

Citer dette

@inproceedings{f7ff458052bd11dba4bc000ea68e967b,

title = "Fully Automatic Binding Time Analysis for Prolog",

author = "Stephen Craig and Gallagher, {John Patrick} and Michael Leuschel and Henriksen, {Kim Steen}",

note = "Seriensstitel: Lecture Notes in Computer Science Seriens nummer: 3573; Logic-based Program Synthesis and Transformation 2004, 14th International Symposium, LOPSTR 2004 ; Conference date: 26-08-2005 Through 28-08-2005",

year = "2005",

language = "English",

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

pages = "53--68",

editor = "Sandro Etalle",

booktitle = "Logic Based Program Synthesis and Transformation",

publisher = "Springer",

}

TY - GEN

T1 - Fully Automatic Binding Time Analysis for Prolog

AU - Craig, Stephen

AU - Gallagher, John Patrick

AU - Leuschel, Michael

AU - Henriksen, Kim Steen

N1 - Seriensstitel: Lecture Notes in Computer Science Seriens nummer: 3573

PY - 2005

Y1 - 2005

M3 - Article in proceedings

SN - 3-540-26655-0

SP - 53

EP - 68

BT - Logic Based Program Synthesis and Transformation

A2 - Etalle, Sandro

PB - Springer

T2 - Logic-based Program Synthesis and Transformation 2004, 14th International Symposium, LOPSTR 2004

Y2 - 26 August 2005 through 28 August 2005

ER -