ID:
279118.0,
MPI für Informatik / Programming Logics Group |
Transition predicate abstraction and fair termination |
Authors: | Podelski, Andreas; Rybalchenko, Andrey |
Editors: | Palsberg, Jens; Abadi, Martín |
Language: | English |
Publisher: | ACM |
Place of Publication: | New York, USA |
Date of Publication (YYYY-MM-DD): | 2005 |
Title of Proceedings: | Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005 |
Start Page: | 124 |
End Page: | 139 |
Place of Conference/Meeting: | Long Beach, CA, USA |
(Start) Date of Conference/Meeting (YYYY-MM-DD): | 2005-01-12 |
Audience: | Experts Only |
Intended Educational Use: | No |
Last Change of the Resource (YYYY-MM-DD): | 2005-04-27 |
External Publication Status: | published |
Document Type: | Conference-Paper |
Communicated by: | Andreas Podelski |
Affiliations: | MPI für Informatik/Programming Logics Group
|
Identifiers: | LOCALID:C1256104005ECAFC-57767FAFB6FB6779C1256FC00041E44D-... ISBN:1-58113-830-X |
|