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.

Thorium: A Language for Bounded Verification of Dynamic Reactive Objects

Kevin Baldor, Xiaoyin Wang, Jianwei Niu 0001. Thorium: A Language for Bounded Verification of Dynamic Reactive Objects. In Manuel Serrano, editor, Proceedings of the 10th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, REBLS 2023, Cascais, Portugal, 23 October 2023. pages 1-13, ACM, 2023. [doi]

Authors

Kevin Baldor

This author has not been identified. Look up 'Kevin Baldor' in Google

Xiaoyin Wang

This author has not been identified. Look up 'Xiaoyin Wang' in Google

Jianwei Niu 0001

This author has not been identified. Look up 'Jianwei Niu 0001' in Google
runs on