De hecho, el nombre «SPARK» deriva de «SPADE Ada Kernel».