Skip to search formSkip to main contentSkip to account menu

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… 
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… 
2014
2014
One might think that specifying and reasoning about concurrent programs would be easier with more expressive languages. This… 
2012
2012
Abstraction is a crucial tool in specifying and justifying developments of systems. This observation is recognised in many… 
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… 
2010
2010
We propose a new formalisation of stability for Rely-Guarantee, in which an assertion's stability is encoded into its syntactic… 
2008
2008
Computer science is a diverse, exciting, and rapidly expanding discipline. Inevitably the research community pulls itself in… 
Highly Cited
2006
Highly Cited
2006
Highly Cited
2005
1999
1999
Our experience of using Java is disappointing: as a programming language (irrespective of its implementations and libraries…