External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Proving that programs eventually do something good

Byron Cook, Alexey Gotsman, Andreas Podelski, Andrey Rybalchenko, Moshe Y. Vardi. Proving that programs eventually do something good. In Martin Hofmann, Matthias Felleisen, editors, Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2007, Nice, France, January 17-19, 2007. pages 265-276, ACM, 2007. [doi]

Authors

Byron Cook

This author has not been identified. Look up 'Byron Cook' in Google

Alexey Gotsman

This author has not been identified. Look up 'Alexey Gotsman' in Google

Andreas Podelski

This author has not been identified. Look up 'Andreas Podelski' in Google

Andrey Rybalchenko

This author has not been identified. Look up 'Andrey Rybalchenko' in Google

Moshe Y. Vardi

This author has not been identified. Look up 'Moshe Y. Vardi' in Google
runs on