Publication | Closed Access
Correct and optimal implementations of recursion in a simple programming language
122
Citations
3
References
1974
Year
Programming Language TheoryDeclarative ProgrammingSimple Programming LanguageEngineeringComputability TheoryProgram AnalysisAutomated ReasoningOptimal ImplementationsFormal MethodsProgram SynthesisComputational ComplexityComputer ScienceFormal VerificationRecursive FunctionProgramming Languages
| Year | Citations | |
|---|---|---|
Page 1
Page 1