Concepedia

M. Woodger

MW

7

Publications

1.7K

Citations

7

H-Index

1960

Active since

Affiliations

National Physical Laboratory(Current)

M. Woodger is an author at National Physical Laboratory specializing in engineering, automated reasoning, and algorithm design.

Top concepts

EngineeringFormal MethodsAlgorithm DesignComputer ScienceAutomated ReasoningComputational LinguisticsProgram AnalysisLanguageMechanicsSemantics

Publications per year

1960–1971

7

Publications

7

Revised report on the algorithmic language ALGOL 60

John Backus, Friedrich L. Bauer, J. Green et al. · Communications of the ACM · 1963 · 906 citations · Full text

Engineering, Algorithmic Library, Large-scale Datasets +16

Report on the algorithmic language ALGOL 60

John Backus, Friedrich L. Bauer, J. Green et al. · Communications of the ACM · 1960 · 494 citations · Full text

Revised report on the algorithmic languageAlgol 60

John Backus, Friedrich L. Bauer, J. Green et al. · Numerische Mathematik · 1962 · 113 citations

Combinatorics On Word, Algorithmic Library, Algorithmic Languagealgol 60 +3

Report on the algorithmic language ALGOL 60

John Backus, Friedrich L. Bauer, J. Green et al. · Numerische Mathematik · 1960 · 109 citations

Engineering, Algorithmic Library, Automated Reasoning +6

Force constant calculations—I

D. A. Long, R. B. Gravenor, M. Woodger · Spectrochimica Acta · 1963 · 38 citations

Numerical Analysis, Engineering, Mechanics +5

Rows per page

1–5 of 7