Many programming languages have a distinct compilation phase and a run-time phase. I propose introducing a new separate phase for static verification.

March 23, 2008
URL:http://www.drdobbs.com/architecture-and-design/adding-a-static-verification-phase-to-co/228700278

Terms of Service | Privacy Statement | Copyright © 2024 UBM Tech, All rights reserved.