Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Richard Bornat

Richard Bornat (born 1944), is a British author and researcher in the field of computer science. He is also professor of Computer programming at… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Pervasive formal verification guarantees highest reliability of complex multi-core computer systems. This is required especially… Expand
  • table 2.2
  • table 2.1
  • table 2.3
  • table 2.4
  • table 2.5
Is this relevant?
2016
2016
We develop a certified decision procedure for reasoning about systems of equations over the “tree share” fractional permission… Expand
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2014
2014
One might think that specifying and reasoning about concurrent programs would be easier with more expressive languages. This… Expand
  • figure 1
  • figure 2
Is this relevant?
2012
2012
Abstraction is a crucial tool in specifying and justifying developments of systems. This observation is recognised in many… Expand
Is this relevant?
Highly Cited
2010
Highly Cited
2010
Abstraction is key to understanding and reasoning about large computer systems. Abstraction is simple to achieve if the relevant… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 6
Is this relevant?
2010
2010
We propose a new formalisation of stability for Rely-Guarantee, in which an assertion's stability is encoded into its syntactic… Expand
  • figure 1
  • figure 2
  • figure 4
  • figure 12
  • figure 15
Is this relevant?
2006
2006
Parkinson, Bornat, and Calcagno recently introduced a logic for partial correctness in which program variables are treated as… Expand
Is this relevant?
Highly Cited
2006
Highly Cited
2006
 
Is this relevant?
Highly Cited
2005
Highly Cited
2005
Separation logic [Reynolds, J. C., Intuitionistic reasoning about shared mutable data structure, in: J. Davies, B. Roscoe and J… Expand
  • figure 4
  • figure 7
  • figure 14
Is this relevant?
1999
1999
Our experience of using Java is disappointing: as a programming language (irrespective of its implementations and libraries… Expand
Is this relevant?