Please note that eDoc will be permanently shut down in the first quarter of 2021!      Home News About Us Contact Contributors Disclaimer Privacy Policy Help FAQ

Home
Search
Quick Search
Advanced
Fulltext
Browse
Collections
Persons
My eDoc
Session History
Login
Name:
Password:
Documentation
Help
Support Wiki
Direct access to
document ID:


          Institute: MPI für Informatik     Collection: Programming Logics Group     Display Documents



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
The scope and number of records on eDoc is subject to the collection policies defined by each institute - see "info" button in the collection browse view.