@Article{fourtounis_et_al:DARTS.5.2.6, author = {Fourtounis, George and Smaragdakis, Yannis}, title = {{Deep Static Modeling of invokedynamic}}, pages = {6:1--6:4}, journal = {Dagstuhl Artifacts Series}, ISSN = {2509-8195}, year = {2019}, volume = {5}, number = {2}, editor = {Fourtounis, George and Smaragdakis, Yannis}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.5.2.6}, URN = {urn:nbn:de:0030-drops-107835}, doi = {10.4230/DARTS.5.2.6}, annote = {Keywords: invokedynamic, lambdas, static analysis} }