Richárd Szalay. Towards Decoupling Nullability Semantics from Indirect Access in Pointer Use. In Gergely Kovásznai, István Fazekas, Tibor Tómács, editors, Proceedings of the 11th International Conference on Applied Informatics (ICAI 2020), Eger, Hungary, January 29-31, 2020. Volume 2650 of CEUR Workshop Proceedings, pages 328-340, CEUR-WS.org, 2020. [doi]
Abstract is missing.