Search Results - "Hoare, Tony"
-
1
Roger Michael Needham CBE FREng. 9 February 1935 – 1 March 2003
Published in Biographical memoirs of fellows of the Royal Society (01-12-2004)“…Roger Needham was born in Sheffield on 9 February 1935. He was the only son of Leonard William Needham and Phyllis Mary Needham (née Baker). Leonard and…”
Get full text
Journal Article -
2
The laws of programming unify process calculi
Published in Science of computer programming (01-06-2014)“…We survey the well-known algebraic laws of sequential programming, and propose some less familiar laws for concurrent programming. On the basis of these laws,…”
Get full text
Journal Article -
3
Fine-grain concurrency
Published in Concurrency and computation (10-06-2010)“…I have been interested in concurrent programming since about 1963, when its associated problems contributed to the failure of the largest software project that…”
Get full text
Journal Article -
4
In praise of algebra
Published in Formal aspects of computing (01-07-2012)“…We survey the well-known algebraic laws of sequential programming, and extend them with some less familiar laws for concurrent programming. We give an…”
Get full text
Journal Article -
5
The Ideal of Program Correctness: Third Computer Journal Lecture
Published in Computer journal (01-05-2007)“…The ideal of verified software has long been the goal of research in Computer Science. This article argues that the time is ripe to embark on a Grand Challenge…”
Get full text
Journal Article -
6
Developments in concurrent Kleene algebra
Published in Journal of logical and algebraic methods in programming (01-06-2016)Get full text
Journal Article -
7
The Ideal of Program Correctness
Published in Computer journal (01-05-2007)Get full text
Journal Article -
8
The Ideal of Program Correctness Third Computer Journal Lecture
Published in Computer journal (01-01-2007)“…The ideal of verified software has long been the goal of research in Computer Science. This article argues that the time is ripe to embark on a Grand Challenge…”
Get full text
Journal Article -
9
CSP is a retract of CCS
Published in Theoretical computer science (06-03-2010)“…Automata theory provides two ways of defining an automaton: either by its transition system, defining its states and events, or by its language, the set of…”
Get full text
Journal Article -
10
Angus Osborn Robson
Published in BMJ (Online) (28-07-2017)“…After his education at Haileybury School, he was encouraged into medicine by his uncle and mentor, Sir Kenneth Robson, who served as registrar of the Royal…”
Get full text
Journal Article -
11
The Cold War and geography’s quantitative revolution: Some messy reflections on Barnes’ geographical underworld
Published in Geoforum (01-11-2008)“…A response to a recent paper by Barnes, arguing that the origins of geography’s quantitative revolution were not as monofocused as he suggests…”
Get full text
Journal Article -
12
Concurrent Kleene Algebra and its Foundations
Published in The journal of logic and algebraic programming (01-08-2011)Get full text
Journal Article -
13
Edsger W. Dijkstra: a Commemoration
Published 07-04-2021“…This article is a multiauthored portrait of Edsger Wybe Dijkstra that consists of testimonials written by several friends, colleagues, and students of his. It…”
Get full text
Journal Article -
14
i\Grand challenges: \-i\ grand challenges for computing research
Published in Computer journal (01-01-2005)“…What are the major research challenges that face the world of computing today? Are there any of them that match the grandeur of well-known challenges in other…”
Get full text
Journal Article -
15
Legacy
Published in Information processing letters (28-02-2001)“…An increasing proportion of the effort of skilled programmers is devoted to servicing the legacy of software. The techniques and tools currently in use to…”
Get full text
Journal Article -
16
-
17
Legacy
Published in Information processing letters (01-02-2001)“…An increasing proportion of the effort of skilled programmers is devoted to servicing the legacy of software. The techniques and tools currently in use to…”
Get full text
Journal Article -
18
Science and Engineering: A Collusion of Cultures
Published in 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07) (01-06-2007)“…The cultures of science and engineering are diametrically opposed along a number of dimensions: long-term/short-term, idealism/compromise, formality/…”
Get full text
Conference Proceeding
-
19
Legacy
Published in Information processing letters (2001)“…An increasing proportion of the effort of skilled programmers is devoted to servicing the legacy of software. The techniques and tools currently in use to…”
Get full text
Journal Article -
20