Concepedia
Acta Informatica · 1973 · 98 citations · 1 references
Mathematical ProgrammingEngineeringAlgorithm DesignAnalysis Of AlgorithmComputational ComplexityComputer ScienceCombinatorial OptimizationAlgorithm Engineering
1
An axiomatic basis for computer programming
C. A. R. Hoare · Communications of the ACM · 1983 · 1.5K citations
Computer Programs, Programming Language Theory, Declarative Programming +15