×

zbMATH — the first resource for mathematics

Malcolm, Grant

Compute Distance To:
Author ID: malcolm.grant Recent zbMATH articles by "Malcolm, Grant"
Published as: Malcolm, Grant
Documents Indexed: 13 Publications since 1988, including 1 Book

Publications by Year

Citations contained in zbMATH Open

9 Publications have been cited 111 times in 92 Documents Cited by Year
A hidden agenda. Zbl 0946.68070
Goguen, Joseph A.; Malcolm, Grant
37
2000
Data structures and program transformation. Zbl 0712.68014
Malcolm, Grant
21
1990
Algebraic semantics of imperative programs. Zbl 0887.68066
Goguen, Joseph A.; Malcolm, Grant
19
1996
Hidden coinduction: Behavioural correctness proofs for objects. Zbl 0931.68067
Goguen, Joseph A.; Malcolm, Grant
12
1999
Do-it-yourself type theory. Zbl 0697.68020
Backhouse, Roland; Chisholm, Paul; Malcolm, Grant; Saaman, Erik
12
1989
A hidden Herbrand theorem: Combining the object and logic paradigms. Zbl 1012.03041
Goguen, Joseph; Malcolm, Grant; Kemp, Tom
4
2002
A hidden Herbrand theorem. Zbl 0926.03034
Goguen, Joseph A.; Malcolm, Grant; Kemp, Tom
3
1998
Do-it-yourself type theory. II. Zbl 0669.68012
Backhouse, Roland; Chisholm, Paul; Malcolm, Grant
2
1988
Sheaves, objects, and distributed systems. Zbl 1336.68184
Malcolm, Grant
1
2008
Sheaves, objects, and distributed systems. Zbl 1336.68184
Malcolm, Grant
1
2008
A hidden Herbrand theorem: Combining the object and logic paradigms. Zbl 1012.03041
Goguen, Joseph; Malcolm, Grant; Kemp, Tom
4
2002
A hidden agenda. Zbl 0946.68070
Goguen, Joseph A.; Malcolm, Grant
37
2000
Hidden coinduction: Behavioural correctness proofs for objects. Zbl 0931.68067
Goguen, Joseph A.; Malcolm, Grant
12
1999
A hidden Herbrand theorem. Zbl 0926.03034
Goguen, Joseph A.; Malcolm, Grant; Kemp, Tom
3
1998
Algebraic semantics of imperative programs. Zbl 0887.68066
Goguen, Joseph A.; Malcolm, Grant
19
1996
Data structures and program transformation. Zbl 0712.68014
Malcolm, Grant
21
1990
Do-it-yourself type theory. Zbl 0697.68020
Backhouse, Roland; Chisholm, Paul; Malcolm, Grant; Saaman, Erik
12
1989
Do-it-yourself type theory. II. Zbl 0669.68012
Backhouse, Roland; Chisholm, Paul; Malcolm, Grant
2
1988
all top 5

Cited by 124 Authors

10 Roşu, Grigore
6 Meseguer Guaita, José
5 Martins, Manuel António
4 Caleiro, Carlos
4 Diaconescu, Răzvan
4 Futatsugi, Kokichi
4 Gonçalves, Ricardo
4 Ogata, Kazuhiro
3 de Moor, Oege
3 Domínguez, César
3 Jeuring, Johan
3 Malcolm, Grant
3 Montanari, Ugo G.
3 Padawitz, Peter
3 Valentini, Silvio
2 Bickford, Mark
2 Bruni, Roberto
2 Cîrstea, Corina
2 Constable, Robert Lee
2 Duval, Dominique
2 Fokkinga, Maarten M.
2 Goguen, Joseph Amadee
2 Hennicker, Rolf
2 Kurz, Alexander
2 Magalhães, José Pedro
2 Rodriguez Yakushev, Alexey
2 Şerbănuţă, Traian Florin
2 Uustalu, Tarmo
2 Vene, Varmo
1 Abel, Andreas M.
1 Alexander, Perry
1 Allais, Guillaume
1 Allen, Stuart F.
1 Amato, Gianluca
1 Apetrei, Adriana
1 Babenyshev, Sergey
1 Backhouse, Roland C.
1 Bakhshi, Rena
1 Barbosa, Luís S.
1 Berger, Ulrich
1 Bidoit, Michel
1 Bird, Richard S.
1 Bossi, Annalisa
1 Cañete-Valdeón, José M.
1 Capretta, Venanzio
1 Cockett, J. Robin B.
1 Confalonieri, Roberto
1 Corradini, Andrea
1 Doornbos, Henk
1 Dybjer, Peter
1 Eaton, Richard
1 Ellison, Chucky
1 Endrullis, Jörg
1 Ferreirim, Isabel M. A.
1 Frisby, Nicolas
1 Gadducci, Fabio
1 Gaĭnă, Daniel
1 Gheorghies, Ovidiu
1 Gibbons, Jeremy
1 Gill, Andy
1 Goldblatt, Robert Ian
1 Guedes, Luiz Carlos Castro
1 Haeusler, Edward Hermann
1 Hameer, Aliya
1 Hansen, Bo Stig
1 Heckel, Reiko
1 Hedberg, Michael
1 Heeren, Bastiaan
1 Hendriks, Dimitri
1 Hinze, Ralf
1 Holdermans, Stefan
1 Honsell, Furio
1 Hoogendijk, Paul Ferenc
1 Hutton, Graham
1 Imine, Abdessamad
1 Janssen, Theo M. V.
1 Jaskelioff, Mauro
1 Kemp, Tom
1 Kimmell, Garrin
1 Klev, Ansten Mørch
1 Kopylov, Alexei P.
1 Kreitz, Christoph
1 Kupke, Clemens
1 Kutz, Oliver
1 Lambán, Laureano
1 Larsen, Peter Gorm
1 Leal, Raul Andres
1 Leather, Sean
1 Lenisa, Marina
1 Lipton, James B.
1 Lorigo, Lori
1 Lucanu, Dorel
1 Luo, Zhaohui
1 Madeira, Alexandre
1 Matsutani, Shigeki
1 McGrail, Robert W.
1 Meertens, Lambert G. L. T.
1 Molli, Pascal
1 Momigliano, Alberto
1 Moran, E.
...and 24 more Authors

Citations by Year