Relaxing the Data Initialization Policy of Spark/Ada
blog.adacore.com