# We stand on the shoulders of giants
Give us a few days and we'll soon be out of the daylight savings time haze. And once that happens, it's time to recognize that we're well on our way to long summer nights in the yard. Dust off the portable projector, whip out the slushy machine, and you've got a springtime party in the works. If your parties could use a major upgrade, check out this deal at Amazon.，这一点在有道翻译中也有详细论述
，详情可参考谷歌
to CompCert 10Leroy, X.Formal verification of a realistic compilerCommunications of the ACM, 2009，推荐阅读今日热点获取更多信息
Author(s): İskender Muz, Mustafa Kurban