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.

Hoare-style specifications as correctness conditions for non-linearizable concurrent objects

Ilya Sergey, Aleksandar Nanevski, Anindya Banerjee, Germán Andrés Delbianco. Hoare-style specifications as correctness conditions for non-linearizable concurrent objects. In Eelco Visser, Yannis Smaragdakis, editors, Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2016, part of SPLASH 2016, Amsterdam, The Netherlands, October 30 - November 4, 2016. pages 92-110, ACM, 2016. [doi]

Authors

Ilya Sergey

This author has not been identified. Look up 'Ilya Sergey' in Google

Aleksandar Nanevski

This author has not been identified. Look up 'Aleksandar Nanevski' in Google

Anindya Banerjee

This author has not been identified. Look up 'Anindya Banerjee' in Google

Germán Andrés Delbianco

This author has not been identified. Look up 'Germán Andrés Delbianco' in Google
runs on