Publication | Closed Access
Proving a compiler correct: A simple approach
12
Citations
8
References
1975
Year
EngineeringProgram AnalysisAutomated ReasoningCompiler SupportVerificationFormal MethodsSoftware AnalysisComputer ScienceCompilersProgram DerivationOptimizing CompilerFormal VerificationCompiler Correct
| Year | Citations | |
|---|---|---|
Page 1
Page 1