×
Compute Distance To:
Author ID: burstall.rod-m Recent zbMATH articles by "Burstall, Rod M."
Published as: Burstall, R. M.; Burstall, Rod; Burstall, Rod M.; Burstall, R.
Documents Indexed: 46 Publications since 1966, including 2 Books
1 Further Contribution
Co-Authors: 20 Co-Authors with 33 Joint Publications
231 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

39 Publications have been cited 785 times in 604 Documents Cited by Year
Institutions: Abstract model theory for specification and programming. Zbl 0799.68134
Goguen, Joseph A.; Burstall, Rod M.
203
1992
A transformation system for developing recursive programs. Zbl 0343.68014
Burstall, R. M.; Darlington, John
130
1977
The semantics of Clear, a specification language. Zbl 0456.68024
Burstall, R. M.; Goguen, J. A.
62
1980
Introducing institutions. Zbl 0543.68021
Goguen, J. A.; Burstall, R. M.
39
1984
Proving properties of programs by structural induction. Zbl 0164.46202
Burstall, R. M.
37
1969
Program proving as hand simulation with a little induction. Zbl 0299.68012
Burstall, R. M.
28
1974
Some techniques for proving correctness of programs which alter data structures. Zbl 0259.68009
Burstall, R. M.
27
1972
Introducing institutions. Zbl 1288.03001
Goguen, J. A.; Burstall, R. M.
25
2012
Some fundamental algebraic tools for the semantics of computation. III: Indexed categories. Zbl 0755.18004
Tarlecki, Andrzej; Burstall, Rod M.; Goguen, Joseph A.
25
1991
Computational category theory. Zbl 0649.18001
Rydeheard, David E.; Burstall, Rod M.
19
1988
Algebras, theories and freeness: An introduction for computer scientists. Zbl 0518.68009
Burstall, R. M.; Goguen, J. A.
18
1982
A study in the foundations of programming methodology: Specifications, Institutions, Charters and Parchments. Zbl 0615.68002
Goguen, Joseph A.; Burstall, R. M.
14
1986
A categorical unification algorithm. Zbl 0616.68016
Rydeheard, D. E.; Burstall, R. M.
14
1986
A system which automatically improves programs. Zbl 0323.68008
Darlington, J.; Burstall, R. M.
14
1976
Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories. Zbl 0566.68065
Goguen, J. A.; Burstall, R. M.
12
1984
Programs and their proofs: an algebraic approach. Zbl 0215.55901
Burstall, R. M.; Landin, P. J.
11
1969
Structured theories in LCF. Zbl 0527.68070
Sannella, D. T.; Burstall, R. M.
11
1983
Pebble, a kernel language for modules and abstract data types. Zbl 0646.68018
Lampson, B.; Burstall, R.
10
1988
Subgraph isomorphism, matching relational structures and maximal cliques. Zbl 0374.05043
Barrow, H. G.; Burstall, R. M.
10
1976
Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories. Zbl 0566.68066
Goguen, J. A.; Burstall, R. M.
9
1984
Programming in POP-2. Zbl 0216.49903
Burstall, R. M.; Collins, J. S.; Popplestone, R. J.
8
1971
A kernel language for abstract data types and modules. Zbl 0552.68009
Burstall, R.; Lampson, B.
8
1984
The algebraic theory of recursive program schemes. Zbl 0363.68035
Burstall, R. M.; Thatcher, J. W.
6
1975
A versatile system for computer-controlled assembly. Zbl 0303.68058
Ambler, A. P.; Barrow, H. G.; Brown, C. M.; Burstall, R. M.; Popplestone, R. J.
5
1975
A system which automatically improves programs. Zbl 0395.68017
Darlington, J.; Burstall, R. M.
5
1978
Electronic category theory. Zbl 0462.68003
Burstall, R. M.
4
1980
Operational semantics in a natural deduction setting. Zbl 0755.03011
Burstall, Rod; Honsell, Furio
4
1991
Computing with categories. Zbl 0616.68011
Burstall, R.; Rydeheard, D.
3
1986
Monads and theories: a survey for computation. Zbl 0577.68035
Rydeheard, D. E.; Burstall, R. M.
3
1985
Explicit environments. Zbl 1001.03014
Sato, Masahiko; Sakurai, Takafumi; Burstall, Rod
3
2001
Deriving very efficient algorithms for evaluating linear recurrence relations using the program transformation technique. Zbl 0474.68008
Pettorossi, A.; Burstall, R. M.
3
1982
Computer designs of electricity supply networks by a heuristic method. Zbl 0142.12804
Burstall, R. M.
3
1966
Semantics of assignment. Zbl 0213.43202
Burstall, R. M.
2
1968
Formal description of program structure and semantics in first order logic. Zbl 0221.68018
Burstall, R. M.
2
1969
Explicit environments. (Extended abstract). Zbl 0931.03028
Sato, Masahiko; Sakurai, Takafumi; Burstall, Rod
2
1999
ProveEasy: Helping people learn to do proofs. Zbl 0966.68190
Burstall, Rod
2
2000
The correctness problem in computer science. Zbl 0476.68009
2
1981
A natural deduction treatment of operational semantics. Zbl 0667.68019
Burstall, Rod; Honsell, Furio
1
1988
Inductively defined functions in functional programming languages. Zbl 0619.68007
Burstall, R. M.
1
1987
Introducing institutions. Zbl 1288.03001
Goguen, J. A.; Burstall, R. M.
25
2012
Explicit environments. Zbl 1001.03014
Sato, Masahiko; Sakurai, Takafumi; Burstall, Rod
3
2001
ProveEasy: Helping people learn to do proofs. Zbl 0966.68190
Burstall, Rod
2
2000
Explicit environments. (Extended abstract). Zbl 0931.03028
Sato, Masahiko; Sakurai, Takafumi; Burstall, Rod
2
1999
Institutions: Abstract model theory for specification and programming. Zbl 0799.68134
Goguen, Joseph A.; Burstall, Rod M.
203
1992
Some fundamental algebraic tools for the semantics of computation. III: Indexed categories. Zbl 0755.18004
Tarlecki, Andrzej; Burstall, Rod M.; Goguen, Joseph A.
25
1991
Operational semantics in a natural deduction setting. Zbl 0755.03011
Burstall, Rod; Honsell, Furio
4
1991
Computational category theory. Zbl 0649.18001
Rydeheard, David E.; Burstall, Rod M.
19
1988
Pebble, a kernel language for modules and abstract data types. Zbl 0646.68018
Lampson, B.; Burstall, R.
10
1988
A natural deduction treatment of operational semantics. Zbl 0667.68019
Burstall, Rod; Honsell, Furio
1
1988
Inductively defined functions in functional programming languages. Zbl 0619.68007
Burstall, R. M.
1
1987
A study in the foundations of programming methodology: Specifications, Institutions, Charters and Parchments. Zbl 0615.68002
Goguen, Joseph A.; Burstall, R. M.
14
1986
A categorical unification algorithm. Zbl 0616.68016
Rydeheard, D. E.; Burstall, R. M.
14
1986
Computing with categories. Zbl 0616.68011
Burstall, R.; Rydeheard, D.
3
1986
Monads and theories: a survey for computation. Zbl 0577.68035
Rydeheard, D. E.; Burstall, R. M.
3
1985
Introducing institutions. Zbl 0543.68021
Goguen, J. A.; Burstall, R. M.
39
1984
Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories. Zbl 0566.68065
Goguen, J. A.; Burstall, R. M.
12
1984
Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories. Zbl 0566.68066
Goguen, J. A.; Burstall, R. M.
9
1984
A kernel language for abstract data types and modules. Zbl 0552.68009
Burstall, R.; Lampson, B.
8
1984
Structured theories in LCF. Zbl 0527.68070
Sannella, D. T.; Burstall, R. M.
11
1983
Algebras, theories and freeness: An introduction for computer scientists. Zbl 0518.68009
Burstall, R. M.; Goguen, J. A.
18
1982
Deriving very efficient algorithms for evaluating linear recurrence relations using the program transformation technique. Zbl 0474.68008
Pettorossi, A.; Burstall, R. M.
3
1982
The correctness problem in computer science. Zbl 0476.68009
2
1981
The semantics of Clear, a specification language. Zbl 0456.68024
Burstall, R. M.; Goguen, J. A.
62
1980
Electronic category theory. Zbl 0462.68003
Burstall, R. M.
4
1980
A system which automatically improves programs. Zbl 0395.68017
Darlington, J.; Burstall, R. M.
5
1978
A transformation system for developing recursive programs. Zbl 0343.68014
Burstall, R. M.; Darlington, John
130
1977
A system which automatically improves programs. Zbl 0323.68008
Darlington, J.; Burstall, R. M.
14
1976
Subgraph isomorphism, matching relational structures and maximal cliques. Zbl 0374.05043
Barrow, H. G.; Burstall, R. M.
10
1976
The algebraic theory of recursive program schemes. Zbl 0363.68035
Burstall, R. M.; Thatcher, J. W.
6
1975
A versatile system for computer-controlled assembly. Zbl 0303.68058
Ambler, A. P.; Barrow, H. G.; Brown, C. M.; Burstall, R. M.; Popplestone, R. J.
5
1975
Program proving as hand simulation with a little induction. Zbl 0299.68012
Burstall, R. M.
28
1974
Some techniques for proving correctness of programs which alter data structures. Zbl 0259.68009
Burstall, R. M.
27
1972
Programming in POP-2. Zbl 0216.49903
Burstall, R. M.; Collins, J. S.; Popplestone, R. J.
8
1971
Proving properties of programs by structural induction. Zbl 0164.46202
Burstall, R. M.
37
1969
Programs and their proofs: an algebraic approach. Zbl 0215.55901
Burstall, R. M.; Landin, P. J.
11
1969
Formal description of program structure and semantics in first order logic. Zbl 0221.68018
Burstall, R. M.
2
1969
Semantics of assignment. Zbl 0213.43202
Burstall, R. M.
2
1968
Computer designs of electricity supply networks by a heuristic method. Zbl 0142.12804
Burstall, R. M.
3
1966
all top 5

Cited by 702 Authors

30 Diaconescu, Răzvan
21 Tarlecki, Andrzej
20 Mossakowski, Till
18 Meseguer Guaita, José
14 Sannella, Donald T.
13 Hennicker, Rolf
13 Rabe, Florian
12 Voutsadakis, George
11 Ehrig, Hartmut
10 Goguen, Joseph Amadee
10 Pettorossi, Alberto
9 Aiguier, Marc
9 Madeira, Alexandre
9 Orejas, Fernando
8 Gaĭnă, Daniel
8 Wirsing, Martin
7 Moreno, Ginés
7 Proietti, Maurizio
6 Bidoit, Michel
6 Codescu, Mihai
6 Galán, M. Ángeles
5 Barbosa, Luís Soares
5 Burstall, Rod M.
5 Courcelle, Bruno
5 Futatsugi, Kokichi
5 Horozal, Fulya
5 Knapp, Alexander
5 Kohlhase, Michael
5 Martins, Manuel António
5 Roggenbach, Markus
5 Roşu, Grigore
4 Bundy, Alan
4 Cîrstea, Corina
4 Dershowitz, Nachum
4 Durán, Francisco
4 Eker, Steven
4 Eklund, Patrik E.
4 Escobar, Santiago
4 Fiadeiro, José Luiz
4 Grov, Gudmund
4 Kreowski, Hans-Jörg
4 Maibaum, Thomas Stephen Edward
4 Martí-Oliet, Narciso
4 Medina, Jesús
4 Montanari, Ugo G.
4 Navarro, Marisa
4 Ogata, Kazuhiro
4 Ojeda-Aciego, Manuel
4 Oriat, C.
4 Penabad, Jaime
4 Popescu, Andrei
4 Ţuţu, Ionuţ
4 Valverde, Agustín
3 Alpuente, María
3 Autexier, Serge
3 Beierle, Christoph
3 Bloch, Isabelle
3 Bruynooghe, Maurice
3 Castro, Pablo F.
3 Clavel, Manuel
3 Corradini, Andrea
3 Guessarian, Irène
3 Hagiya, Masami
3 Hutter, Dieter
3 Julián, Pascual
3 Kott, Laurent
3 Lincoln, Patrick D.
3 Mahr, Bernd
3 Malcolm, Grant
3 Nipkow, Tobias
3 Petria, Marius
3 Pino, Elvira
3 Sain, Ildikó
3 Sato, Taisuke
3 Schröder, Lutz
3 Senni, Valerio
3 Wagner, Eric G.
3 Wilson, Richard Charles
3 Ying, Mingsheng
2 Arsac, Jacques J.
2 Atif, Jamal
2 Aubin, Raymond
2 Back, Ralph-Johan
2 Baez, John C.
2 Basin, David A.
2 Benson, David B.
2 Blum, Edward Kenneth
2 Boronat, Artur
2 Borzyszkowski, Tomasz
2 Brotherston, James
2 Chin, Wei-Ngan
2 Ciaffaglione, Alberto
2 Ciancia, Vincenzo
2 Climent Vidal, Juan
2 Cousot, Patrick
2 Cousot, Radhia
2 Danvy, Olivier
2 De Schreye, Danny
2 Ehrich, Hans-Dieter
2 Friedman, Daniel P.
...and 602 more Authors
all top 5

Cited in 87 Serials

135 Theoretical Computer Science
22 Formal Aspects of Computing
21 Acta Informatica
19 Journal of Computer and System Sciences
18 Artificial Intelligence
18 Information Processing Letters
16 Journal of Symbolic Computation
14 MSCS. Mathematical Structures in Computer Science
14 Journal of Functional Programming
14 The Journal of Logic and Algebraic Programming
13 Journal of Automated Reasoning
12 Information and Computation
11 Logica Universalis
10 Studia Logica
8 Fuzzy Sets and Systems
8 Journal of Logical and Algebraic Methods in Programming
7 New Generation Computing
6 RAIRO, Informatique Théorique
5 Diagrammes
5 Mathematical Logic Quarterly (MLQ)
5 Annals of Mathematics and Artificial Intelligence
4 Mathematical Systems Theory
4 Annals of Pure and Applied Logic
4 Journal of Computer Science and Technology
4 Formal Methods in System Design
3 BIT
3 Software. Practice & Experience
3 Cybernetics
3 International Journal of Computer Mathematics
3 Pattern Recognition
3 Cybernetics and Systems Analysis
3 Higher-Order and Symbolic Computation
3 Mathematics in Computer Science
3 Computer Science Review
2 Computers & Mathematics with Applications
2 Discrete Applied Mathematics
2 Cahiers de Topologie et Géométrie Différentielle Catégoriques
2 International Journal of Computer & Information Sciences
2 Journal of Pure and Applied Algebra
2 The Journal of Symbolic Logic
2 Notre Dame Journal of Formal Logic
2 Programming and Computer Software
2 Synthese
2 Science of Computer Programming
2 International Journal of Approximate Reasoning
2 RAIRO. Informatique Théorique et Applications
2 Archive for Mathematical Logic
2 Applied Categorical Structures
2 Journal of Applied Non-Classical Logics
2 RAIRO. Theoretical Informatics and Applications
2 Theory and Practice of Logic Programming
2 Sādhanā
2 Computer Languages, Systems & Structures
1 Communications on Pure and Applied Mathematics
1 International Journal of General Systems
1 Chaos, Solitons and Fractals
1 Algebra Universalis
1 Calcolo
1 Journal of Algebra
1 Journal of Computational and Applied Mathematics
1 Journal of Soviet Mathematics
1 Kybernetika
1 Mathematische Nachrichten
1 Networks
1 Rendiconti del Circolo Matemàtico di Palermo. Serie II
1 Bulletin of the Section of Logic
1 International Journal of Parallel Programming
1 Automation and Remote Control
1 Distributed Computing
1 Theory and Applications of Categories
1 Science in China. Series E
1 Parallel Algorithms and Applications
1 Soft Computing
1 Fundamenta Informaticae
1 ACM Transactions on Computational Logic
1 Journal of Applied Logic
1 BIT. Nordisk Tidskrift for Informationsbehandling
1 Electronic Notes in Theoretical Computer Science
1 International Journal of Combinatorics
1 Journal of Formalized Reasoning
1 Diskretnyĭ Analiz i Issledovanie Operatsiĭ
1 Revue Française d’Automatique, Informatique, Recherche Opérationnelle. Série Rouge
1 Axioms
1 International Journal of Engineering Mathematics
1 Nonlinear Analysis. Theory, Methods & Applications
1 Journal of Applied and Computational Topology
1 Journal of Membrane Computing

Citations by Year