Statistics
Publications
26
Citations
4.9K
H-Index
22
Active since
1962
Affiliations
R. M. Burstall is an author at University of Edinburgh specializing in computing, computer science, and programming languages.
Publications per year
1962–2013
26
26
A Transformation System for Developing Recursive Programs
R. M. Burstall, John Darlington · Journal of the ACM · 1977 · 1.3K citations · Full text
R. M. Burstall, David MacQueen, Donald Sannella · 1980 · 351 citations
Proving Properties of Programs by Structural Induction
R. M. Burstall · The Computer Journal · 1969 · 327 citations
1–5 of 26