Proceedings of 2nd ACM SIGPLAN Workshop on Semantics, Program Analysis and Computing Environments for Memory Management (SPACE), Venice, Italy

Research output: Book/Report › Anthology › Research › peer-review

Standard

Proceedings of 2nd ACM SIGPLAN Workshop on Semantics, Program Analysis and Computing Environments for Memory Management (SPACE), Venice, Italy. / Henglein, Fritz (Editor); Jones, Richard (Editor); Morrisett, Greg (Editor); O'Hearn, Peter (Editor).

2004.

Research output: Book/Report › Anthology › Research › peer-review

Harvard

Henglein, F, Jones, R, Morrisett, G & O'Hearn, P (eds) 2004, Proceedings of 2nd ACM SIGPLAN Workshop on Semantics, Program Analysis and Computing Environments for Memory Management (SPACE), Venice, Italy.

APA

Henglein, F., Jones, R., Morrisett, G., & O'Hearn, P. (Eds.) (2004). Proceedings of 2nd ACM SIGPLAN Workshop on Semantics, Program Analysis and Computing Environments for Memory Management (SPACE), Venice, Italy.

Vancouver

Henglein F, (ed.), Jones R, (ed.), Morrisett G, (ed.), O'Hearn P, (ed.). Proceedings of 2nd ACM SIGPLAN Workshop on Semantics, Program Analysis and Computing Environments for Memory Management (SPACE), Venice, Italy. 2004.

Author

Henglein, Fritz (Editor) ; Jones, Richard (Editor) ; Morrisett, Greg (Editor) ; O'Hearn, Peter (Editor). / Proceedings of 2nd ACM SIGPLAN Workshop on Semantics, Program Analysis and Computing Environments for Memory Management (SPACE), Venice, Italy. 2004.

Bibtex

@book{e38b001004a711ddbee902004c4f4f50,
title = "Proceedings of 2nd ACM SIGPLAN Workshop on Semantics, Program Analysis and Computing Environments for Memory Management (SPACE), Venice, Italy",
editor = "Fritz Henglein and Richard Jones and Greg Morrisett and Peter O'Hearn",
year = "2004",
language = "English",

}

RIS

TY - BOOK

T1 - Proceedings of 2nd ACM SIGPLAN Workshop on Semantics, Program Analysis and Computing Environments for Memory Management (SPACE), Venice, Italy

A2 - Henglein, Fritz

A2 - Jones, Richard

A2 - Morrisett, Greg

A2 - O'Hearn, Peter

PY - 2004

Y1 - 2004

M3 - Anthology

BT - Proceedings of 2nd ACM SIGPLAN Workshop on Semantics, Program Analysis and Computing Environments for Memory Management (SPACE), Venice, Italy

ER -

ID: 3532045