A Theory of Pointers for the UTP

Will  Harwood; Ana Lucia Caneca Cavalcanti; James Woodcock

doi:10.1007/978-3-540-85762-4_10

A Theory of Pointers for the UTP

Will Harwood, Ana Lucia Caneca Cavalcanti, James Woodcock

Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

27 Citations (Scopus)

Original language	English
Title of host publication	Theoretical Aspects of Computing - ICTAC 2008 : 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings
Editors	John S. Fitzgerald, Anne E. Haxthausen, Husnu Yenigun
Number of pages	15
Publisher	Springer
Publication date	Sept 2008
Pages	141-155
ISBN (Print)	978-3-540-85761-7
ISBN (Electronic)	978-3-540-85762-4
DOIs	https://doi.org/10.1007/978-3-540-85762-4_10
Publication status	Published - Sept 2008
Externally published	Yes
Event	5th International Colloquium on Theoretical Aspects of Computing - Istanbul, Turkey Duration: 1 Sept 2008 → 3 Sept 2008

Conference

Conference	5th International Colloquium on Theoretical Aspects of Computing
Country/Territory	Turkey
City	Istanbul
Period	01/09/2008 → 03/09/2008

Series	Lecture Notes in Computer Science
Volume	5160
ISSN	0302-9743

Access to Document

10.1007/978-3-540-85762-4_10

Library access?

Check availability with the Royal Danish Library

Cite this

Harwood, Will ; Cavalcanti, Ana Lucia Caneca ; Woodcock, James. / A Theory of Pointers for the UTP. Theoretical Aspects of Computing - ICTAC 2008: 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings. editor / John S. Fitzgerald ; Anne E. Haxthausen ; Husnu Yenigun. Springer, 2008. pp. 141-155 (Lecture Notes in Computer Science, Vol. 5160).

@inproceedings{c16e93ccf2b24f989dbe8924db28fefb,

title = "A Theory of Pointers for the UTP",

author = "Will Harwood and Cavalcanti, \{Ana Lucia Caneca\} and James Woodcock",

year = "2008",

month = sep,

doi = "10.1007/978-3-540-85762-4\_10",

language = "English",

isbn = "978-3-540-85761-7",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "141--155",

editor = "Fitzgerald, \{John S. \} and \{ Haxthausen\}, \{Anne E. \} and \{ Yenigun\}, \{Husnu \}",

booktitle = "Theoretical Aspects of Computing - ICTAC 2008",

address = "Netherlands",

note = "5th International Colloquium on Theoretical Aspects of Computing ; Conference date: 01-09-2008 Through 03-09-2008",

}

Harwood, W, Cavalcanti, ALC & Woodcock, J 2008, A Theory of Pointers for the UTP. in JS Fitzgerald, AE Haxthausen & H Yenigun (eds), Theoretical Aspects of Computing - ICTAC 2008: 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings. Springer, Lecture Notes in Computer Science, vol. 5160, pp. 141-155, 5th International Colloquium on Theoretical Aspects of Computing, Istanbul, Turkey, 01/09/2008. https://doi.org/10.1007/978-3-540-85762-4_10

A Theory of Pointers for the UTP. / Harwood, Will ; Cavalcanti, Ana Lucia Caneca; Woodcock, James.
Theoretical Aspects of Computing - ICTAC 2008: 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings. ed. / John S. Fitzgerald; Anne E. Haxthausen; Husnu Yenigun. Springer, 2008. p. 141-155 (Lecture Notes in Computer Science, Vol. 5160).

Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

TY - GEN

T1 - A Theory of Pointers for the UTP

AU - Harwood, Will

AU - Cavalcanti, Ana Lucia Caneca

AU - Woodcock, James

PY - 2008/9

Y1 - 2008/9

U2 - 10.1007/978-3-540-85762-4_10

DO - 10.1007/978-3-540-85762-4_10

M3 - Article in proceedings

SN - 978-3-540-85761-7

T3 - Lecture Notes in Computer Science

SP - 141

EP - 155

BT - Theoretical Aspects of Computing - ICTAC 2008

A2 - Fitzgerald, John S.

A2 - Haxthausen, Anne E.

A2 - Yenigun, Husnu

PB - Springer

T2 - 5th International Colloquium on Theoretical Aspects of Computing

Y2 - 1 September 2008 through 3 September 2008

ER -