Design
Adding a Static Verification Phase to Compiled Languages
Many programming languages have a distinct compilation phase and a run-time phase. I propose introducing a new separate phase for static verification.Related Reading
More Insights
INFO-LINK
To upload an avatar photo, first complete your Disqus profile. | View the list of supported HTML tags you can use to style comments. | Please read our commenting policy. | |