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.

This is the moment for probabilistic loops

Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Laura Kovács. This is the moment for probabilistic loops. Proceedings of the ACM on Programming Languages, 6(OOPSLA2):1497-1525, 2022. [doi]

Authors

Marcel Moosbrugger

This author has not been identified. Look up 'Marcel Moosbrugger' in Google

Miroslav Stankovic

This author has not been identified. Look up 'Miroslav Stankovic' in Google

Ezio Bartocci

This author has not been identified. Look up 'Ezio Bartocci' in Google

Laura Kovács

This author has not been identified. Look up 'Laura Kovács' in Google
runs on