Publications
Found 3 results
Filters: Autor is Michael Eichberg [Clear All Filters]
„A Unified Lattice Model and Framework for Purity Analyses“, in Proceedings of the 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2018, S. 340-350.
, „Lattice Based Modularization of Static Analyses“, in Companion Proceedings for the ISSTA/ECOOP 2018 Workshops (SOAP), 2018, S. 113-118.
, „Systematic Evaluation of the Unsoundness of Call Graph Construction Algorithms for Java“, in Companion Proceedings for the ISSTA/ECOOP 2018 Workshops (SOAP), 2018, S. 107-112.
,