It has changed: https://blog.adacore.com/pointer-based-data-structures-in-spark

		yannickmoy on Feb 6, 2020 \| parent \| context \| favorite \| on: ZZ is a modern formally provable dialect of C It has changed: https://blog.adacore.com/pointer-based-data-structures-in-sp...