Publication | Open Access
Algebraic implementations preserve program correctness
46
Citations
12
References
1986
Year
Programming Language TheoryEngineeringAutomated ReasoningProgram AnalysisAbstract InterpretationFormal MethodsSoftware AnalysisComputer ScienceAlgebraic ImplementationsProgram DerivationFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1