825 followers
@tobiasphilipp Thanks for the Stainless block diagram. Caching in old SPARK was done after VC generation: https://t.co/OpCtBzxALK ( I can try to find a PDF if people can't get access. ) SPARK 2014 makes very similar use of caching: https://t.co/tFFNPt