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.

A Better Approximation for Interleaved Dyck Reachability

Giovanna Kobus Conrado, Andreas Pavlogiannis. A Better Approximation for Interleaved Dyck Reachability. In Raphaël Monat, Cindy Rubio-González, editors, Proceedings of the 13th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, SOAP 2024, Copenhagen, Denmark, 25 June 2024. pages 18-25, ACM, 2024. [doi]

Authors

Giovanna Kobus Conrado

This author has not been identified. Look up 'Giovanna Kobus Conrado' in Google

Andreas Pavlogiannis

This author has not been identified. Look up 'Andreas Pavlogiannis' in Google
runs on