Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 226,134,376 papers from all fields of science
Search
Sign In
Create Free Account
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
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
10 relations
BCS-FACS
Compiler
Computer programming
Computer science
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
The Challenges of Teaching and Learning Software Programming to Novice Students
Seyed Reza Shahamiri
Advances in Computer and Electrical Engineering
2019
Corpus ID: 67398738
As software applications play a vital role in our daily lives, there is a need to have more skilled programmers to create such…
Expand
2016
2016
A Certified Decision Procedure for Sophisticated Fractional Permissions
Le Xuan Bach
,
Aquinas Hobor
2016
Corpus ID: 15610983
We develop a certified decision procedure for reasoning about systems of equations over the “tree share” fractional permission…
Expand
2012
2012
Mental models and the learning of programming ( case for support )
R. Bornat
,
John Benedict du Boulay
,
S. Dehnadi
2012
Corpus ID: 36768171
Professor Richard Bornat has a track record across a wide range of computer science, from compiling [4] through programming…
Expand
2009
2009
Programming aptitude and learning success in the introductory course on programming
Mateja Strnad
,
I. N. Serbec
,
J. Rugelj
2009
Corpus ID: 14292339
It is difficult to learn to program. We investigated if it is possible to predict programming aptitude of our students with…
Expand
1987
1987
Programming from first principles: by Richard Bornat. Published by Prentice-Hall. 538 pp. £10.95
G. Michaelson
1987
Corpus ID: 59739088
1981
1981
Understanding and writing compilers. Richard Bornat, Macmillan, London. No of pages: 396. Price: £12.00 (hard back), £5.95 (paper back)
D. Robson
1981
Corpus ID: 58055327
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE