Rod Burstall

Q: What Schools Are Affiliated With Rod Burstall

Rod Burstall is affiliated with the following schools: University of Bath, University of Edinburgh, University of Birmingham, University of Cambridge

Rod Burstall's AcademicInfluence.com Rankings

Rod Burstall

Computer Science

#864

World Rank

#896

Historical Rank

Database

#1506

World Rank

#1581

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Why Is Rod Burstall Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Rodney Martineau "Rod" Burstall FRSE is a British computer scientist and one of four founders of the Laboratory for Foundations of Computer Science at the University of Edinburgh. Biography Burstall studied physics at the University of Cambridge, then an M.Sc. in operational research at Birmingham University. He worked for three years before returning to Birmingham University to earn a Ph.D. in 1966 with thesis titled Heuristic and Decision Tree Methods on Computers: Some Operational Research Applications under the supervision of N. A. Dudley and K. B. Haley.

(See a Problem?)

Rod Burstall's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

A Transformation System for Developing Recursive Programs (1977) (1505)
Institutions: abstract model theory for specification and programming (1992) (1254)
Putting Theories Together to Make Specifications (1977) (521)
The Semantics of CLEAR, A Specification Language (1979) (475)
Introducing Institutions (1983) (453)
HOPE: An experimental applicative language (1980) (427)
Proving Properties of Programs by Structural Induction (1969) (365)
Program Proving as Hand Simulation with a Little Induction (1974) (234)
Subgraph Isomorphism, Matching Relational Structures and Maximal Cliques (1976) (232)
A system which automatically improves programs (1973) (216)
Computational category theory (1988) (177)
Some Fundamental Algebraic Tools for the Semantics of Computation: Part 3: Indexed Categories (1991) (159)
A Versatile Computer-Controlled Assembly System (1973) (143)
A Kernel Language for Abstract Data Types and Modules (1984) (126)
PROGRAMS AND THEIR PROOFS: AN ALGEBRAIC APPROACH, (1968) (126)
A Versatile System for Computer-Controlled Assembly (1975) (124)
A Study in the Functions of Programming Methodology: Specifications, Institutions, Charters and Parchments (1985) (111)
Some Techniques for Proving Correctness of Programs which Alter Data Structures (2013) (102)
Some Fundamental Algebraic Tools for the Semantics of Computation. Part 1: Comma Categories, Colimits, Signatures and Theories (1984) (95)
ALGEBRAS, THEORIES AND FREENESS: AN INTRODUCTION FOR COMPUTER SCIENTISTS (1982) (83)
Structured Theories in LCF (1983) (81)
Programming in POP-2 (1971) (76)
Deliverables: A Categorial Approach to Program Development in Type Theory (1993) (70)
Hiding and behaviour: an institutional approach (1994) (68)
Institutions : abstract model theory for computer science (1985) (67)
Some Fundamental Algebraic Tools for the Semantics of Computation. Part II: Signed and Abstract Theories (1984) (57)
A Categorical Unification Algorithm (1985) (52)
SOME TECHNIQUES FOR RECOGNISING STRUCTURES IN PICTURES (1972) (47)
Advances in programming and non-numerical computation (1967) (45)
Pebble, a Kernel Language for Modules and Abstract Data Types (1988) (42)
A Heuristic Method for a Job-Scheduling Problem (1966) (40)
Programming with Modules as Typed Functional Programming (1984) (39)
Evaluation of Transport Costs for Alternative Factory Sites — A Case Study (1962) (36)
Explicit Environments (1999) (31)
An algebraic description of programs with assertions, verification and simulation (1972) (30)
Inductively Defined Functions in Functional Programming Languages (1987) (29)
The algebraic theory of recursive program schemes (1974) (25)
Christopher Strachey—Understanding Programming Languages (2000) (20)
A Natural Deduction treatment of Operational Semantics (1988) (18)
Operational semantics in a natural deduction setting (1991) (17)
Computer Design of Electricity Supply Networks by a Heuristic Method (1966) (15)
Electronic Category Theory (1980) (14)
ProveEasy: helping people learn to do proofs (2000) (13)
Artificial intelligence : an introductory course (1978) (12)
The POP-2 Papers (1970) (9)
Monads and theories: a survey for computation (1986) (8)
Computing: Yet Another Reality Construction (1992) (8)
A Program for Solving Word Sum Puzzles (1969) (7)
Memory Management: An Abstract Formulation of Incremental Tracing (1999) (6)
Deriving very efficient algorithms for evaluating linear recurrence relations using the program transformation technique (1982) (4)
Extended Calculus of Constructions as a Specification Language (Abstract) (1992) (4)
Inductively Defined Functions (Extended Abstract) (1985) (4)
Computing with Categories (1985) (3)
Automation Theory and Learning Systems (1968) (2)
Terms, proofs and refinement (1994) (2)
Applicative programming (1979) (2)
Making Programs more Readable (1980) (2)
A kernel language for modules and abstract data types (2016) (2)
Terms, proofs and refinement (Extended abstract) (1994) (2)
Inductively Defined Relations: A Brief Tutorial (Extended Abstract) (1995) (1)
Heuristic and decision tree methods on computers : some operational research applications (1965) (1)
Review: Erwin Engeler, Algorithmic Approximations (1974) (0)
Book Review: Computer and Information Sciences, by J. T. Tou and R. H. Wilcox, 1965; 544 pages (1966) (0)
My Friend Joseph Goguen (2006) (0)
SPECIFICATION USING AN ALGEBRAIC APPROACH (1981) (0)
Engeler Erwin. Algorithmic approximations. Journal of computer and system sciences, vol. 5 (1971), pp. 67–82. (1974) (0)
Computer and Information Sciences (1966) (0)
Chapter 1 Hiding and Behaviour : an Institutional Approach (2004) (0)
Current Trends in the Algebraic Image Analysis: A Survey (2013) (0)

This paper list is powered by the following services:

Other Resources About Rod Burstall

What Schools Are Affiliated With Rod Burstall?

Rod Burstall is affiliated with the following schools: