| 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 |
|
Advanced
