MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Proceedings Article, Paper


@InProceedings
Beitrag in Tagungsband, Workshop
Author, Editor
Author(s):
Cook, Byron
Gotsman, Alexey
Podelski, Andreas
Rybalchenko, Andrey
Vardi, Moshe		dblp
dblp
dblp
dblp
dblp
Not MPG Author(s):
Cook, Byron
Gotsman, Alexey
Podelski, Andreas
Vardi, Moshe
Editor(s):
Hofmann, Martin
Felleisen, Matthias		dblp
dblp
Not MPII Editor(s):
Hofmann, Martin
Felleisen, Matthias
BibTeX cite key*:
Rybalchenko2007POPL
Title, Booktitle
Title*:
Proving that programs eventually do something good
Booktitle*:
34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2007)
Event, URLs
Conference URL::
Downloading URL:
Event Address*:
Nice, France
Language:
English
Event Date*
(no longer used):
Organization:
Event Start Date:
18 March 2007
Event End Date:
18 March 2007
Publisher
Name*:
ACM
URL:
Address*:
New York, USA
Type:
Vol, No, Year, pp.
Series:
Volume:
Number:
Month:
Pages:
265-276
Year*:
2007
VG Wort Pages:
20
ISBN/ISSN:
1-59593-575-4
Sequence Number:
DOI:
Note, Abstract, ©
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{Rybalchenko2007POPL,
AUTHOR = {Cook, Byron and Gotsman, Alexey and Podelski, Andreas and Rybalchenko, Andrey and Vardi, Moshe},
 EDITOR = {Hofmann, Martin and Felleisen, Matthias},
 TITLE = {Proving that programs eventually do something good},
 BOOKTITLE = {34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2007)},
 PUBLISHER = {ACM},
 YEAR = {2007},
 PAGES = {265--276},
 ADDRESS = {Nice, France},
 ISBN = {1-59593-575-4},
}

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)
Andrey Rybalchenko		Created
03/18/2007 11:57:02 PM
Revision
1.
0.


Editor
Christine Kiesel
Andrey Rybalchenko


Edit Date
29.06.2007 17:44:35
03/18/2007 11:57:03 PM