×

zbMATH — the first resource for mathematics

Hoare, C. A. R. Tony

Compute Distance To:
Author ID: hoare.c-a-r-tony Recent zbMATH articles by "Hoare, C. A. R. Tony"
Published as: Hoare, C.; Hoare, C. A.; Hoare, C. A. R.; Hoare, C. A. R. Tony; Hoare, Tony
External Links: MGP · Wikidata · dblp · GND
Awards: Turing Award (1980)
Documents Indexed: 125 Publications since 1935, including 10 Books
Biographic References: 4 Publications

Publications by Year

Citations contained in zbMATH

96 Publications have been cited 2,926 times in 2,121 Documents Cited by Year
Communicating sequential processes. Zbl 0637.68007
Hoare, C. A. R.
689
1985
An axiomatic basis for computer programming. Zbl 0179.23105
Hoare, C. A. R.
471
1969
Communicating sequential processes. Zbl 0383.68028
Hoare, C. A. R.
300
1978
A theory of communicating sequential processes. Zbl 0628.68025
Brookes, S. D.; Hoare, C. A. R.; Roscoe, A. W.
222
1984
A calculus of durations. Zbl 0743.68097
Zhou, Chaochen; Hoare, C. A. R.; Ravn, Anders P.
103
1991
Proof of correctness of data representations. Zbl 0244.68009
Hoare, C. A. R.
101
1972
Quicksort. Zbl 0108.13601
Hoare, C. A. R.
88
1962
Unifying theories for logic programming. Zbl 1005.68036
Hoare, C. A. R.; He, Jifeng
72
2001
Structured programming. Zbl 0267.68001
Dahl, O.-J.; Dijkstra, E. W.; Hoare, C. A. R.
59
1972
Laws of programming. Zbl 0629.68006
Hoare, C. A. R.; Hayes, I. J.; He, Jifeng; Morgan, C. C.; Roscoe, A. W.; Sanders, J. W.; Sorensen, I. H.; Spivey, J. M.; Sufrin, B. A.
56
1987
Specification-oriented semantics for communicating processes. Zbl 0569.68019
Olderog, E.-R.; Hoare, Tony
56
1986
Monitors: An operating system structuring concept. Zbl 0308.68029
Hoare, C. A. R.
52
1974
Procedures and parameters: An axiomatic approach. Zbl 0221.68020
Hoare, C. A. R.
41
1971
An axiomatic definition of the programming language Pascal. Zbl 0261.68040
Hoare, C. A. R.; Wirth, N.
33
1974
Communicating sequential processes. Repr. Zbl 0841.68042
Hoare, C. A. R.
31
1995
Concurrent Kleene algebra and its foundations. Zbl 1278.68176
Hoare, Tony; Möller, Bernhard; Struth, Georg; Wehrman, Ian
26
2011
Semantics of nondeterminism, concurrency, and communication. Zbl 0434.68066
Francez, Nissim; Hoare, C. A. R.; Lehmann, Daniel J.; de Roever, Willem P.
25
1979
Prespecification in data refinement. Zbl 0624.68027
Hoare, C. A. R.; He, Jifeng; Sanders, J. W.
23
1987
Consistent and complementary formal theories of the semantics of programming languages. Zbl 0264.68006
Hoare, C. A. R.; Lauer, P. E.
23
1974
The weakest prespecification. Zbl 0622.68025
Hoare, C. A. R.; He, Jifeng
22
1987
Data refinement refined. Résumé. Zbl 0587.68018
He, J.; Hoare, C. A. R.; Sanders, J. W.
22
1986
Some properties of predicate transformers. Zbl 0379.68016
Hoare, C. A. R.
20
1978
Proof of a program: FIND. Zbl 0217.53701
Hoare, C. A. R.
19
1971
A contribution to the development of ALGOL. Zbl 0143.18603
Wirth, N.; Hoare, C. A. R.
19
1966
The verifying compiler: A grand challenge for computing research. Zbl 1032.68868
Hoare, Tony
18
2003
Program proving: KJumps and functions. Zbl 0229.68003
Clint, M.; Hoare, C. A. R.
18
1971
The laws of Occam programming. Zbl 0719.68039
Roscoe, A. W.; Hoare, C. A. R.
17
1988
The weakest prespecification. I. Zbl 0603.68009
Hoare, C. A. R.; He, Jifeng
16
1986
A calculus of total correctness for communicating processes. Zbl 0485.68025
Hoare, C. A. R.
16
1981
Concurrent Kleene algebra. Zbl 1254.68172
Hoare, C. A. R. Tony; Möller, Bernhard; Struth, Georg; Wehrman, Ian
14
2009
A trace semantics for long-running transactions. Zbl 1081.68644
Butler, Michael; Hoare, Tony; Ferreira, Carla
11
2005
Normal form approach to compiler design. Zbl 0790.68023
Hoare, C. A. R.; He, Jifeng; Sampaio, A.
11
1993
The weakest prespecification, part II. Zbl 0627.68011
Hoare, C. A. R.; He, Jifeng
11
1986
Stuck-free conformance. Zbl 1103.68612
Fournet, Cédric; Hoare, Tony; Rajamani, Sriram K.; Rehof, Jakob
10
2004
Recursive data structures. Zbl 0301.68037
Hoare, C. A. R.
10
1975
Proof of a structured program: ’The sieve of Eratosthenes’. Zbl 0267.68005
Hoare, C. A. R.
10
1972
On locality and the exchange law for concurrent processes. Zbl 1343.68170
Hoare, C. A. R.; Hussain, Akbar; Möller, Bernhard; O’Hearn, Peter W.; Petersen, Rasmus Lerchedahl; Struth, Georg
9
2011
Graphical models of separation logic. Zbl 1200.68153
Wehrman, Ian; Hoare, C. A. R.; O’Hearn, Peter W.
8
2009
Foundations of concurrent Kleene algebra. Zbl 1267.68154
Hoare, C. A. R.; Möller, Bernhard; Struth, Georg; Wehrman, Ian
7
2009
Comparing two approaches to compensable flow composition. Zbl 1134.68316
Bruni, Roberto; Butler, Michael; Ferreira, Carla; Hoare, Tony; Melgratti, Hernán; Montanari, Ugo
7
2005
Sequential calculus. Zbl 0875.68202
von Karger, Burghard; Hoare, C. A. R.
7
1995
Specification-oriented semantics for communicating processes. Zbl 0578.68009
Olderog, E.-R.; Hoare, C. A. R.
7
1983
Parallel programming: An axiomatic approach. Zbl 0362.68045
Hoare, C. A. R.
7
1975
A note on the for statement. Zbl 0246.68003
Hoare, C. A. R.
7
1972
Proof of a recursive program: Quicksort. Zbl 0231.68011
Foley, M.; Hoare, C. A. R.
7
1971
A trace model for pointers and objects. Zbl 0954.68045
Hoare, C. A. R.; He, Jifeng
6
1999
Algebraic specification and proof of a distributed recovery algorithm. Zbl 0621.68008
He, Jifeng; Hoare, C. A. R.
6
1987
Programs are predicates. Zbl 0864.68009
Hoare, C. A. R.
5
1992
Developments in concurrent Kleene algebra. Zbl 1344.68148
Hoare, Tony; van Staden, Stephan; Möller, Bernhard; Struth, Georg; Villard, Jules; Zhu, Huibiao; O’Hearn, Peter
4
2014
In praise of algebra. Zbl 1259.68030
Hoare, Tony; van Staden, Stephan
4
2012
The laws of programming unify process calculi. Zbl 1358.68064
Hoare, Tony; van Staden, Stephan
4
2012
Separation logic semantics for communicating processes. Zbl 1286.68352
Hoare, Tony; O’Hearn, Peter
4
2008
A hard act to follow. Zbl 0951.01025
Hoare, C. A. R.
4
2000
Pre-adjunctions in order enriched categories. Zbl 0755.18003
Martin, C. E.; Hoare, C. A. R.; He, Jifeng
4
1991
A couple of novelties in the propositional calculus. Zbl 0563.03004
Hoare, C. A. R.
4
1985
A more complete model of communicating processes. Zbl 0513.68020
Hehner, E. C. R.; Hoare, C. A. R.
4
1983
Record handling. Zbl 0274.68010
Hoare, C. A. R.
4
1968
Developments in concurrent Kleene algebra. Zbl 1344.68149
Hoare, Tony; van Staden, Stephan; Möller, Bernhard; Struth, Georg; Zhu, Huibiao
3
2016
Unifying theories for parallel programming. Zbl 0996.68754
Hoare, Tony; He, Jifeng
3
1997
From algebra to operational semantics. Zbl 0795.68124
He, Jifeng; Hoare, C. A. R.
3
1993
Mathematical logic and programming languages. (A Discussion Meeting of the Royal Society of London, held on February 15 and 16, 1984). Zbl 0626.68003
Hoare, C. A. R. (ed.); Shepherdson, J. C. (ed.)
3
1985
The mathematics of programming. Zbl 0585.68010
Hoare, C. A. R.
3
1985
Notes on communicating sequential systems. Zbl 0566.68020
Hoare, C. A. R.
3
1985
Towards a theory of parallel programming. Zbl 0395.68009
Hoare, C. A.
3
1978
Parallel programming: An axiomatic approach. Zbl 0347.68011
Hoare, C. A. R.
3
1976
Remarks on ’Program proving: Jumps and functions’ by M. Clint and C.A.R. Hoare. Zbl 0326.68011
Ashcroft, E. A.; Clint, M.; Hoare, C. A. R.
3
1976
Report on the Elliott ALGOL translator. Zbl 0100.13201
Hoare, C. A. R.
3
1962
Exploring an interface model for CKA. Zbl 1432.68314
Möller, Bernhard; Hoare, Tony
2
2015
Algebra unifies operational calculi. Zbl 1452.68056
van Staden, Stephan; Hoare, Tony
2
2013
Unifying semantics for concurrent programming. Zbl 1264.68042
Hoare, Tony
2
2013
The verified software repository: a step towards the verifying compiler. Zbl 1103.68452
Bicarregui, J. C.; Hoare, C. A. R.; Woodcock, J. C. P.
2
2006
Theories of programming: Top-down and bottom-up and meeting in the middle. Zbl 0976.68110
Hoare, C. A. R.
2
1999
Fixed points of increasing functions. Zbl 0695.06003
Hoare, C. A. R.
2
1990
Corrigendum to “Laws of programming”. Zbl 0653.68002
Hoare, C. A. R.; Hayes, I. J.; He, Jifeng; Morgan, C. C.; Roscoe, A. W.; Sanders, J. W.; Sorensen, I. H.; Spivey, J. M.; Sufrin, B. A.
2
1987
Programs are predicates. Zbl 0558.68004
Hoare, C. A. R.
2
1984
A theory of nondeterminism. Zbl 0444.68027
Kennaway, J. R.; Hoare, C. A. R.
2
1980
Proof of correctness of data representations. Zbl 0395.68019
Hoare, C. A. R.
2
1978
An axiomatic definition of the programming language PASCAL. Zbl 0285.68009
Hoare, C. A. R.
2
1974
A structured paging system. Zbl 0262.68009
Hoare, C. A. R.
2
1973
Incomputability. Zbl 0265.68028
Hoare, C. A. R.; Allison, D. C. S.
2
1972
Generic models of the laws of programming. Zbl 1390.68182
Hoare, Tony
1
2013
Verification of fine-grain concurrent programs. Zbl 1279.68261
Hoare, Tony
1
2008
The verifying compiler, a grand challenge for computing research. Zbl 1111.68395
Hoare, C. A. R.
1
2005
Linking theories in probabilistic programming. Zbl 0943.68033
He, Jifeng; Hoare, C. A. R.
1
1999
Unified theories of programming. Zbl 0884.68011
Hoare, C. A. R.
1
1997
A theory for the derivation of combination C-mos circuit designs. Zbl 0732.68084
Hoare, C. A. R.
1
1991
VDM ’90. VDM and Z - formal methods in software development. 3rd international symposium of VDM Europe, Kiel, FRG, April 17-21, 1990. Proceedings. Zbl 0746.68006
Bjørner, Dines (ed.); Hoare, C. A. R. (ed.); Langmaack, Hans (ed.)
1
1990
Essays in computing science. Zbl 0656.68007
Hoare, C. A. R.; Jones, C. B. (ed.)
1
1989
Discrete event simulation based on communicating sequential processes. Zbl 0508.68009
Kaublisch, W. H.; Hoare, C. A. R.
1
1982
Monitors: An operating system structuring concept. Zbl 0395.68027
Hoare, C. A. R.
1
1978
An axiomatic basis for computer programming. Zbl 0395.68012
Hoare, C. A. R.
1
1978
Semantics of nondeterminism, concurrency and communication. Zbl 0391.68017
Francez, Nissim; Hoare, C. A. R.; de Roever, Willem P.
1
1978
Ambiguities and insecurities in Pascal. Zbl 0366.68010
Welsh, J.; Sneeringer, W. J.; Hoare, C. A. R.
1
1977
Quasiparallel programming. Zbl 0332.68010
Kaubisch, W. H.; Perrott, R. H.; Hoare, C. A. R.
1
1976
Matrix reduction - an efficient method. Zbl 0297.68031
Johnston, H. C.; Hoare, C. A. R.
1
1975
The Elliott ALGOL programming system. Zbl 0123.12802
Hoare, C. A. R.
1
1964
Developments in concurrent Kleene algebra. Zbl 1344.68149
Hoare, Tony; van Staden, Stephan; Möller, Bernhard; Struth, Georg; Zhu, Huibiao
3
2016
Exploring an interface model for CKA. Zbl 1432.68314
Möller, Bernhard; Hoare, Tony
2
2015
Developments in concurrent Kleene algebra. Zbl 1344.68148
Hoare, Tony; van Staden, Stephan; Möller, Bernhard; Struth, Georg; Villard, Jules; Zhu, Huibiao; O’Hearn, Peter
4
2014
Algebra unifies operational calculi. Zbl 1452.68056
van Staden, Stephan; Hoare, Tony
2
2013
Unifying semantics for concurrent programming. Zbl 1264.68042
Hoare, Tony
2
2013
Generic models of the laws of programming. Zbl 1390.68182
Hoare, Tony
1
2013
In praise of algebra. Zbl 1259.68030
Hoare, Tony; van Staden, Stephan
4
2012
The laws of programming unify process calculi. Zbl 1358.68064
Hoare, Tony; van Staden, Stephan
4
2012
Concurrent Kleene algebra and its foundations. Zbl 1278.68176
Hoare, Tony; Möller, Bernhard; Struth, Georg; Wehrman, Ian
26
2011
On locality and the exchange law for concurrent processes. Zbl 1343.68170
Hoare, C. A. R.; Hussain, Akbar; Möller, Bernhard; O’Hearn, Peter W.; Petersen, Rasmus Lerchedahl; Struth, Georg
9
2011
Concurrent Kleene algebra. Zbl 1254.68172
Hoare, C. A. R. Tony; Möller, Bernhard; Struth, Georg; Wehrman, Ian
14
2009
Graphical models of separation logic. Zbl 1200.68153
Wehrman, Ian; Hoare, C. A. R.; O’Hearn, Peter W.
8
2009
Foundations of concurrent Kleene algebra. Zbl 1267.68154
Hoare, C. A. R.; Möller, Bernhard; Struth, Georg; Wehrman, Ian
7
2009
Separation logic semantics for communicating processes. Zbl 1286.68352
Hoare, Tony; O’Hearn, Peter
4
2008
Verification of fine-grain concurrent programs. Zbl 1279.68261
Hoare, Tony
1
2008
The verified software repository: a step towards the verifying compiler. Zbl 1103.68452
Bicarregui, J. C.; Hoare, C. A. R.; Woodcock, J. C. P.
2
2006
A trace semantics for long-running transactions. Zbl 1081.68644
Butler, Michael; Hoare, Tony; Ferreira, Carla
11
2005
Comparing two approaches to compensable flow composition. Zbl 1134.68316
Bruni, Roberto; Butler, Michael; Ferreira, Carla; Hoare, Tony; Melgratti, Hernán; Montanari, Ugo
7
2005
The verifying compiler, a grand challenge for computing research. Zbl 1111.68395
Hoare, C. A. R.
1
2005
Stuck-free conformance. Zbl 1103.68612
Fournet, Cédric; Hoare, Tony; Rajamani, Sriram K.; Rehof, Jakob
10
2004
The verifying compiler: A grand challenge for computing research. Zbl 1032.68868
Hoare, Tony
18
2003
Unifying theories for logic programming. Zbl 1005.68036
Hoare, C. A. R.; He, Jifeng
72
2001
A hard act to follow. Zbl 0951.01025
Hoare, C. A. R.
4
2000
A trace model for pointers and objects. Zbl 0954.68045
Hoare, C. A. R.; He, Jifeng
6
1999
Theories of programming: Top-down and bottom-up and meeting in the middle. Zbl 0976.68110
Hoare, C. A. R.
2
1999
Linking theories in probabilistic programming. Zbl 0943.68033
He, Jifeng; Hoare, C. A. R.
1
1999
Unifying theories for parallel programming. Zbl 0996.68754
Hoare, Tony; He, Jifeng
3
1997
Unified theories of programming. Zbl 0884.68011
Hoare, C. A. R.
1
1997
Communicating sequential processes. Repr. Zbl 0841.68042
Hoare, C. A. R.
31
1995
Sequential calculus. Zbl 0875.68202
von Karger, Burghard; Hoare, C. A. R.
7
1995
Normal form approach to compiler design. Zbl 0790.68023
Hoare, C. A. R.; He, Jifeng; Sampaio, A.
11
1993
From algebra to operational semantics. Zbl 0795.68124
He, Jifeng; Hoare, C. A. R.
3
1993
Programs are predicates. Zbl 0864.68009
Hoare, C. A. R.
5
1992
A calculus of durations. Zbl 0743.68097
Zhou, Chaochen; Hoare, C. A. R.; Ravn, Anders P.
103
1991
Pre-adjunctions in order enriched categories. Zbl 0755.18003
Martin, C. E.; Hoare, C. A. R.; He, Jifeng
4
1991
A theory for the derivation of combination C-mos circuit designs. Zbl 0732.68084
Hoare, C. A. R.
1
1991
Fixed points of increasing functions. Zbl 0695.06003
Hoare, C. A. R.
2
1990
VDM ’90. VDM and Z - formal methods in software development. 3rd international symposium of VDM Europe, Kiel, FRG, April 17-21, 1990. Proceedings. Zbl 0746.68006
Bjørner, Dines (ed.); Hoare, C. A. R. (ed.); Langmaack, Hans (ed.)
1
1990
Essays in computing science. Zbl 0656.68007
Hoare, C. A. R.; Jones, C. B. (ed.)
1
1989
The laws of Occam programming. Zbl 0719.68039
Roscoe, A. W.; Hoare, C. A. R.
17
1988
Laws of programming. Zbl 0629.68006
Hoare, C. A. R.; Hayes, I. J.; He, Jifeng; Morgan, C. C.; Roscoe, A. W.; Sanders, J. W.; Sorensen, I. H.; Spivey, J. M.; Sufrin, B. A.
56
1987
Prespecification in data refinement. Zbl 0624.68027
Hoare, C. A. R.; He, Jifeng; Sanders, J. W.
23
1987
The weakest prespecification. Zbl 0622.68025
Hoare, C. A. R.; He, Jifeng
22
1987
Algebraic specification and proof of a distributed recovery algorithm. Zbl 0621.68008
He, Jifeng; Hoare, C. A. R.
6
1987
Corrigendum to “Laws of programming”. Zbl 0653.68002
Hoare, C. A. R.; Hayes, I. J.; He, Jifeng; Morgan, C. C.; Roscoe, A. W.; Sanders, J. W.; Sorensen, I. H.; Spivey, J. M.; Sufrin, B. A.
2
1987
Specification-oriented semantics for communicating processes. Zbl 0569.68019
Olderog, E.-R.; Hoare, Tony
56
1986
Data refinement refined. Résumé. Zbl 0587.68018
He, J.; Hoare, C. A. R.; Sanders, J. W.
22
1986
The weakest prespecification. I. Zbl 0603.68009
Hoare, C. A. R.; He, Jifeng
16
1986
The weakest prespecification, part II. Zbl 0627.68011
Hoare, C. A. R.; He, Jifeng
11
1986
Communicating sequential processes. Zbl 0637.68007
Hoare, C. A. R.
689
1985
A couple of novelties in the propositional calculus. Zbl 0563.03004
Hoare, C. A. R.
4
1985
Mathematical logic and programming languages. (A Discussion Meeting of the Royal Society of London, held on February 15 and 16, 1984). Zbl 0626.68003
Hoare, C. A. R. (ed.); Shepherdson, J. C. (ed.)
3
1985
The mathematics of programming. Zbl 0585.68010
Hoare, C. A. R.
3
1985
Notes on communicating sequential systems. Zbl 0566.68020
Hoare, C. A. R.
3
1985
A theory of communicating sequential processes. Zbl 0628.68025
Brookes, S. D.; Hoare, C. A. R.; Roscoe, A. W.
222
1984
Programs are predicates. Zbl 0558.68004
Hoare, C. A. R.
2
1984
Specification-oriented semantics for communicating processes. Zbl 0578.68009
Olderog, E.-R.; Hoare, C. A. R.
7
1983
A more complete model of communicating processes. Zbl 0513.68020
Hehner, E. C. R.; Hoare, C. A. R.
4
1983
Discrete event simulation based on communicating sequential processes. Zbl 0508.68009
Kaublisch, W. H.; Hoare, C. A. R.
1
1982
A calculus of total correctness for communicating processes. Zbl 0485.68025
Hoare, C. A. R.
16
1981
A theory of nondeterminism. Zbl 0444.68027
Kennaway, J. R.; Hoare, C. A. R.
2
1980
Semantics of nondeterminism, concurrency, and communication. Zbl 0434.68066
Francez, Nissim; Hoare, C. A. R.; Lehmann, Daniel J.; de Roever, Willem P.
25
1979
Communicating sequential processes. Zbl 0383.68028
Hoare, C. A. R.
300
1978
Some properties of predicate transformers. Zbl 0379.68016
Hoare, C. A. R.
20
1978
Towards a theory of parallel programming. Zbl 0395.68009
Hoare, C. A.
3
1978
Proof of correctness of data representations. Zbl 0395.68019
Hoare, C. A. R.
2
1978
Monitors: An operating system structuring concept. Zbl 0395.68027
Hoare, C. A. R.
1
1978
An axiomatic basis for computer programming. Zbl 0395.68012
Hoare, C. A. R.
1
1978
Semantics of nondeterminism, concurrency and communication. Zbl 0391.68017
Francez, Nissim; Hoare, C. A. R.; de Roever, Willem P.
1
1978
Ambiguities and insecurities in Pascal. Zbl 0366.68010
Welsh, J.; Sneeringer, W. J.; Hoare, C. A. R.
1
1977
Parallel programming: An axiomatic approach. Zbl 0347.68011
Hoare, C. A. R.
3
1976
Remarks on ’Program proving: Jumps and functions’ by M. Clint and C.A.R. Hoare. Zbl 0326.68011
Ashcroft, E. A.; Clint, M.; Hoare, C. A. R.
3
1976
Quasiparallel programming. Zbl 0332.68010
Kaubisch, W. H.; Perrott, R. H.; Hoare, C. A. R.
1
1976
Recursive data structures. Zbl 0301.68037
Hoare, C. A. R.
10
1975
Parallel programming: An axiomatic approach. Zbl 0362.68045
Hoare, C. A. R.
7
1975
Matrix reduction - an efficient method. Zbl 0297.68031
Johnston, H. C.; Hoare, C. A. R.
1
1975
Monitors: An operating system structuring concept. Zbl 0308.68029
Hoare, C. A. R.
52
1974
An axiomatic definition of the programming language Pascal. Zbl 0261.68040
Hoare, C. A. R.; Wirth, N.
33
1974
Consistent and complementary formal theories of the semantics of programming languages. Zbl 0264.68006
Hoare, C. A. R.; Lauer, P. E.
23
1974
An axiomatic definition of the programming language PASCAL. Zbl 0285.68009
Hoare, C. A. R.
2
1974
A structured paging system. Zbl 0262.68009
Hoare, C. A. R.
2
1973
Proof of correctness of data representations. Zbl 0244.68009
Hoare, C. A. R.
101
1972
Structured programming. Zbl 0267.68001
Dahl, O.-J.; Dijkstra, E. W.; Hoare, C. A. R.
59
1972
Proof of a structured program: ’The sieve of Eratosthenes’. Zbl 0267.68005
Hoare, C. A. R.
10
1972
A note on the for statement. Zbl 0246.68003
Hoare, C. A. R.
7
1972
Incomputability. Zbl 0265.68028
Hoare, C. A. R.; Allison, D. C. S.
2
1972
Procedures and parameters: An axiomatic approach. Zbl 0221.68020
Hoare, C. A. R.
41
1971
Proof of a program: FIND. Zbl 0217.53701
Hoare, C. A. R.
19
1971
Program proving: KJumps and functions. Zbl 0229.68003
Clint, M.; Hoare, C. A. R.
18
1971
Proof of a recursive program: Quicksort. Zbl 0231.68011
Foley, M.; Hoare, C. A. R.
7
1971
An axiomatic basis for computer programming. Zbl 0179.23105
Hoare, C. A. R.
471
1969
Record handling. Zbl 0274.68010
Hoare, C. A. R.
4
1968
A contribution to the development of ALGOL. Zbl 0143.18603
Wirth, N.; Hoare, C. A. R.
19
1966
The Elliott ALGOL programming system. Zbl 0123.12802
Hoare, C. A. R.
1
1964
Quicksort. Zbl 0108.13601
Hoare, C. A. R.
88
1962
Report on the Elliott ALGOL translator. Zbl 0100.13201
Hoare, C. A. R.
3
1962
all top 5

Cited by 2,729 Authors

35 Bergstra, Jan A.
30 Hoare, C. A. R. Tony
23 Aceto, Luca
20 Ingólfsdóttir, Anna
20 Woodcock, James C. P.
19 Hesselink, Wim H.
19 Roscoe, Andrew William
18 van Glabbeek, Robert Jan
17 Baeten, Jos C. M.
17 Cavalcanti, Ana
17 Vogler, Walter
15 Möller, Bernhard
15 Olderog, Ernst-Rüdiger
14 He, Jifeng
13 Middelburg, Cornelis A.
12 Broy, Manfred
12 de Boer, Frank S.
12 De Nicola, Rocco
12 Duan, Zhenhua
12 Liu, Zhiming
12 Majster-Cederbaum, Mila E.
12 Mili, Ali
12 Owe, Olaf
12 Ponse, Alban
11 Francez, Nissim
11 Hayes, Ian J.
11 Hennessy, Matthew C. B.
11 Larsen, Kim Guldstrand
11 Lüttgen, Gerald
11 Meyer, John-Jules Charles
11 Sampaio, Augusto C. A.
11 Struth, Georg
10 Bernardo, Marco
10 Derrick, John
10 Fokkink, Willem Jan
10 Milner, Robin
10 Naumann, David A.
9 Bravetti, Mario
9 Gregorio-Rodríguez, Carlos
9 O’Hearn, Peter W.
9 Sanders, Jeff W.
9 Wehrheim, Heike
9 Zhan, Naijun
9 Zhu, Huibiao
8 Cleaveland, Rance
8 Colvin, Robert J.
8 de Frutos-Escrig, David
8 Gorrieri, Roberto
8 Guttmann, Walter
8 Janicki, Ryszard
8 Johnsen, Einar Broch
8 Lowe, Gavin
8 Luttik, Bas
8 Malik, Robi
8 Peled, Doron A.
8 Tian, Cong
7 Abramsky, Samson
7 Apt, Krzysztof Rafal
7 Back, Ralph-Johan
7 Boiten, Eerke A.
7 Corradini, Flavio
7 Deng, Yuxin
7 Desharnais, Jules
7 Dovland, Johan
7 Hansen, Michael Reichhardt
7 Hennicker, Rolf
7 Höfner, Peter
7 Koutny, Maciej
7 Montanari, Ugo G.
7 Pnueli, Amir
7 Pugliese, Rosario
7 Reniers, Michel Adriaan
7 Schneider, Steve A.
7 Sifakis, Joseph
7 Steffen, Martin
7 Tennent, Robert D.
7 Vaandrager, Frits W.
6 de Bakker, Jacobus W.
6 Degano, Pierpaolo
6 Dong, JinSong
6 Goranko, Valentin F.
6 Guelev, Dimitar P.
6 Hooman, Jozef Johannes Maria
6 Katz, Shmuel
6 Morgan, Carroll
6 Morgan, Carroll C.
6 Priami, Corrado
6 Qin, Shengchao
6 Rabinovich, Alexander
6 Roggenbach, Markus
6 Sun, Jun
6 Ulidowski, Irek
6 Valmari, Antti
6 Wang, Shuling
6 Winskel, Glynn
6 Zhang, Nan
5 America, Pierre
5 Bjørner, Dines
5 Boreale, Michele
5 Brookes, Stephen D.
...and 2,629 more Authors
all top 5

Cited in 182 Serials

397 Theoretical Computer Science
190 Formal Aspects of Computing
108 Acta Informatica
108 Information Processing Letters
102 Information and Computation
68 The Journal of Logic and Algebraic Programming
50 Journal of Logical and Algebraic Methods in Programming
37 Science of Computer Programming
35 Distributed Computing
33 MSCS. Mathematical Structures in Computer Science
29 Formal Methods in System Design
28 Journal of Computer and System Sciences
25 Software. Practice & Experience
23 BIT. Nordisk Tidskrift for Informationsbehandling
21 Journal of Computer Science and Technology
18 Information Sciences
18 Journal of Automated Reasoning
18 Cybernetics and Systems Analysis
16 International Journal of Parallel Programming
15 BIT
14 Artificial Intelligence
14 Discrete Event Dynamic Systems
14 Journal of Applied Non-Classical Logics
12 Computing
11 Annals of Pure and Applied Logic
11 Journal of Symbolic Computation
10 Cybernetics
10 International Journal of Computer Mathematics
10 Journal of Functional Programming
9 Programming and Computer Software
9 Annals of Mathematics and Artificial Intelligence
9 Logical Methods in Computer Science
8 Studia Logica
8 International Journal of Foundations of Computer Science
8 Computer Science Review
7 International Journal of Theoretical Physics
7 International Journal of Computer & Information Sciences
7 RAIRO. Informatique Théorique et Applications
7 Journal of Applied Logic
6 Computers & Mathematics with Applications
6 Automatica
6 Mathematical Systems Theory
6 RAIRO, Informatique Théorique
6 Sādhanā
6 ACM Transactions on Computational Logic
6 Frontiers of Computer Science
5 Journal of Pure and Applied Algebra
5 Algorithmica
5 Real-Time Systems
5 European Journal of Operational Research
5 Concurrency and Computation: Practice & Experience
5 Science China. Information Sciences
4 International Journal of Control
4 Applied Mathematics and Computation
4 Parallel Algorithms and Applications
4 Theory of Computing Systems
4 RAIRO. Theoretical Informatics and Applications
4 Computer Languages, Systems & Structures
4 Formalized Mathematics
3 Discrete Applied Mathematics
3 International Journal of General Systems
3 International Journal of Systems Science
3 Algebra Universalis
3 Fuzzy Sets and Systems
3 Journal of Philosophical Logic
3 Journal of Soviet Mathematics
3 Synthese
3 Topology and its Applications
3 New Generation Computing
3 Computers & Operations Research
3 Journal of Cryptology
3 The Annals of Applied Probability
3 Journal of Computer and Systems Sciences International
3 European Journal of Control
3 Theory and Practice of Logic Programming
3 Journal of Discrete Algorithms
3 Frontiers of Computer Science in China
2 Computer Physics Communications
2 Journal of Computational and Applied Mathematics
2 Kybernetes
2 Publications of the Research Institute for Mathematical Sciences, Kyoto University
2 Systems & Control Letters
2 Statistics & Probability Letters
2 History and Philosophy of Logic
2 Discrete & Computational Geometry
2 International Journal of Intelligent Systems
2 International Journal of Approximate Reasoning
2 Mathematical and Computer Modelling
2 Machine Learning
2 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
2 Journal of Global Optimization
2 Stochastic Processes and their Applications
2 Advances in Engineering Software
2 Journal of the Egyptian Mathematical Society
2 Computer Science Journal of Moldova
2 Mathematical Problems in Engineering
2 Journal of Combinatorial Optimization
2 Wuhan University Journal of Natural Sciences (WUJNS)
2 Data Mining and Knowledge Discovery
2 Higher-Order and Symbolic Computation
...and 82 more Serials
all top 5

Cited in 38 Fields

1,972 Computer science (68-XX)
334 Mathematical logic and foundations (03-XX)
55 Systems theory; control (93-XX)
44 Operations research, mathematical programming (90-XX)
39 Category theory; homological algebra (18-XX)
38 Order, lattices, ordered algebraic structures (06-XX)
34 Information and communication theory, circuits (94-XX)
27 Probability theory and stochastic processes (60-XX)
25 Numerical analysis (65-XX)
16 Combinatorics (05-XX)
15 Biology and other natural sciences (92-XX)
14 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
13 General algebraic systems (08-XX)
13 General topology (54-XX)
10 Quantum theory (81-XX)
8 History and biography (01-XX)
8 Statistics (62-XX)
5 General and overarching topics; collections (00-XX)
5 Number theory (11-XX)
3 Mathematics education (97-XX)
2 Linear and multilinear algebra; matrix theory (15-XX)
2 Group theory and generalizations (20-XX)
2 Operator theory (47-XX)
2 Convex and discrete geometry (52-XX)
2 Algebraic topology (55-XX)
2 Fluid mechanics (76-XX)
1 Commutative algebra (13-XX)
1 Associative rings and algebras (16-XX)
1 Topological groups, Lie groups (22-XX)
1 Measure and integration (28-XX)
1 Partial differential equations (35-XX)
1 Dynamical systems and ergodic theory (37-XX)
1 Difference and functional equations (39-XX)
1 Harmonic analysis on Euclidean spaces (42-XX)
1 Functional analysis (46-XX)
1 Calculus of variations and optimal control; optimization (49-XX)
1 Manifolds and cell complexes (57-XX)
1 Statistical mechanics, structure of matter (82-XX)

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.