Eventually Sound Points-To Analysis with Specifications
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Osbert Bastani, Rahul Sharma 0001, Lazaro Clapp, Saswat Anand, Alex Aiken
Eventually Sound Points-To Analysis with Specifications
ECOOP, 2019.

ECOOP 2019
Full names Links ISxN
	author        = "Osbert Bastani and Rahul Sharma 0001 and Lazaro Clapp and Saswat Anand and Alex Aiken",
	booktitle     = "{Proceedings of the 33rd European Conference on Object-Oriented Programming}",
	doi           = "10.4230/LIPIcs.ECOOP.2019.11",
	isbn          = "978-3-95977-111-5",
	pages         = "28",
	publisher     = "{Schloss Dagstuhl - Leibniz-Zentrum für Informatik}",
	title         = "{Eventually Sound Points-To Analysis with Specifications}",
	year          = 2019,


Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.