%0 Journal Article %1 journals/pacmpl/Muller0SV23 %A Müller, Mark Niklas %A Fischer, Marc %A Staab, Robin %A Vechev, Martin T. %D 2023 %J Proc. ACM Program. Lang. %K dblp %N PLDI %P 786-810 %T Abstract Interpretation of Fixpoint Iterators with Applications to Neural Networks. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl7.html#Muller0SV23 %V 7

@article{journals/pacmpl/Muller0SV23, added-at = {2023-08-28T00:00:00.000+0200}, author = {Müller, Mark Niklas and Fischer, Marc and Staab, Robin and Vechev, Martin T.}, biburl = {https://www.bibsonomy.org/bibtex/2d5a3c89f434c0f5ec7dc41c65e54b1c5/dblp}, ee = {https://doi.org/10.1145/3591252}, interhash = {97e1af5c3a4cb496a9036344ed42ce24}, intrahash = {d5a3c89f434c0f5ec7dc41c65e54b1c5}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, number = {PLDI}, pages = {786-810}, timestamp = {2024-04-08T09:54:02.000+0200}, title = {Abstract Interpretation of Fixpoint Iterators with Applications to Neural Networks.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl7.html#Muller0SV23}, volume = 7, year = 2023 }