×

Found 3 Documents (Results 1–3)

Verifying liveness for asynchronous programs. (English) Zbl 1315.68064

Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’09, Savannah, GA, USA, January 18–24, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-379-2). 102-113 (2009).
MSC:  68N19 68N30 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Proving that programs eventually do something good. (English) Zbl 1295.68083

Proceedings of the 34th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’07, Nice, France, January 17–19, 2007. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-575-4). 265-276 (2007).
PDFBibTeX XMLCite
Full Text: DOI Link

Transition predicate abstraction and fair termination. (English) Zbl 1369.68152

Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’05, Long Beach, CA, USA, January 12–14, 2005. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-830-X). 132-144 (2005).
MSC:  68N30 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Year of Publication

Main Field