An abstract domain for objects in dynamic programming languages

EasyChair Preprint no. 1501, version history

Vincenzo Arceri, Michele Pasqua and Isabella Mastroeni

Version	Date	Pages	Version notes
1	September 12, 2019	15	—
2	September 14, 2019	15	Better explanation of Alg. 1 Typos correction Minor typesetting changes

Keyphrases: abstract interpretation, dynamic programming languages, Objects data-structure, static analysis

BibTeX entry

BibTeX does not have the right entry for preprints. This is a hack for producing the correct reference:

@Booklet{EasyChair:1501,
  author = {Vincenzo Arceri and Michele Pasqua and Isabella Mastroeni},
  title = {An abstract domain for objects in dynamic programming languages},
  howpublished = {EasyChair Preprint no. 1501},

  year = {EasyChair, 2019}}