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.