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.

Eventually Sound Points-To Analysis with Specifications

Osbert Bastani, Rahul Sharma 0001, Lazaro Clapp, Saswat Anand, Alex Aiken. Eventually Sound Points-To Analysis with Specifications. In Alastair F. Donaldson, editor, 33rd European Conference on Object-Oriented Programming, ECOOP 2019, July 15-19, 2019, London, United Kingdom. Volume 134 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2019. [doi]

Authors

Osbert Bastani

This author has not been identified. Look up 'Osbert Bastani' in Google

Rahul Sharma 0001

This author has not been identified. Look up 'Rahul Sharma 0001' in Google

Lazaro Clapp

This author has not been identified. Look up 'Lazaro Clapp' in Google

Saswat Anand

This author has not been identified. Look up 'Saswat Anand' in Google

Alex Aiken

This author has not been identified. Look up 'Alex Aiken' in Google
runs on