MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Proceedings Article, Paper


@InProceedings
Beitrag in Tagungsband, Workshop
Author, Editor
Author(s):
Podelski, Andreas
Rybalchenko, Andrey		dblp
dblp
Editor(s):
Palsberg, Jens
Abadi, Martín		dblp
dblp
Not MPII Editor(s):
Palsberg, Jens
Abadi, Martín
BibTeX cite key*:
PodelskiRybalchenkoPOPL2005
Title, Booktitle
Title*:
Transition predicate abstraction and fair termination
Booktitle*:
Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005
Event, URLs
Conference URL::
Downloading URL:
Event Address*:
Long Beach, CA, USA
Language:
English
Event Date*
(no longer used):
Organization:
Association for Computing Machinery (ACM)
Event Start Date:
12 January 2005
Event End Date:
14 February 2005
Publisher
Name*:
ACM
URL:
Address*:
New York, USA
Type:
Vol, No, Year, pp.
Series:
Volume:
Number:
Month:
Pages:
124-139
Year*:
2005
VG Wort Pages:
22
ISBN/ISSN:
1-58113-830-X
Sequence Number:
DOI:
Note, Abstract, ©
URL for the Abstract:
http://portal.acm.org/citation.cfm?doid=1040317
Download
Access Level:
Public

Correlation
MPG Unit:
Max-Planck-Institut für Informatik
MPG Subunit:
Programming Logics Group
Appearance:
MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, CCL bibliography, VG Wort



BibTeX Entry:
@INPROCEEDINGS{PodelskiRybalchenkoPOPL2005,
AUTHOR = {Podelski, Andreas and Rybalchenko, Andrey},
 EDITOR = {Palsberg, Jens and Abadi, Mart{\'i}n},
 TITLE = {Transition predicate abstraction and fair termination},
 BOOKTITLE = {Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005},
 PUBLISHER = {ACM},
 YEAR = {2005},
 ORGANIZATION = {Association for Computing Machinery (ACM)},
 PAGES = {124--139},
 ADDRESS = {Long Beach, CA, USA},
 ISBN = {1-58113-830-X},
}

Entry last modified by Christine Kiesel, 01/28/2008
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
Andreas Podelski		Created
03/10/2005 12:59:42 PM
Revisions
3.
2.
1.
0.
Editor(s)
Christine Kiesel
Uwe Waldmann
Andrey Rybalchenko
Andreas Podelski
Edit Dates
27.04.2005 11:33:44
04/14/2005 03:46:21 AM
03/23/2005 08:04:33 PM
03/10/2005 12:59:42 PM