An abstract domain for objects in dynamic programming languages

EasyChair Preprint 1501, version history

VersionDatePagesVersion notes
1
September 12, 2019
15
2
September 14, 2019
15

Better explanation of Alg. 1
Typos correction
Minor typesetting changes

Keyphrases: Objects data-structure, abstract interpretation, dynamic programming languages, 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 1501},
  year      = {EasyChair, 2019}}