Search
for Author
All Reviews
Bornat, Richard
Options:
All Media Types
Journals
Proceedings
Div Books
Whole Books
Other
Date Reviewed
Title
Author
Publisher
Published Date
Descending
Ascending
Date Reviewed
1
-
4
of
4
reviews
Program logic and equivalence in the presence of garbage collection: a case study
Calcagno C., O’Hearn P., Bornat R. Theoretical Computer Science 298(3): 557-581, 2003. Type: Article
Hoare axioms have survived many challenges in the three decades since they were first published. This paper tackles another challenge: garbage collection. Collecting garbage invalidates some Hoare triples that involve the existence of ...
...
Jul 7 2003
Understanding and writing compilers: a do-it-yourself guide
Bornat R., Macmillan Publishing Co., Inc., Indianapolis, IN, 1990. Type: Book (9789780333217320)
Bornat has written an excellent--though out-of-date--guide to producing a compiler. Both the terminology and the language used (BCPL) are dated. All the major algorithms for recursive-descent compiler parsing are incl...
...
Oct 1 1991
Programming from first principles
Bornat R., Prentice Hall International (UK) Ltd., Hertfordshire, UK, 1987. Type: Book (9789780137291045)
This book is designed to be an introductory text for a college course in computer programming. It covers a lot of territory. Prerequisites for this text are a familiarity with mathematical logic and inductive proofs. The author uses th...
...
Dec 1 1987
Tools for creating intelligent computer tutors
O’Shea T. (ed), Bornat R., du Boulay B., Eisenstadt M. (ed), Page I. Artificial and human intelligence (, Lyon, France, 1991984. Type: Proceedings
Computer-aided instruction is a prime candidate for expert systems applications. This paper describes an approach to the design of such system design tools so that teachers and users can formulate their own specific CAI system without ...
...
Sep 1 1985
Reproduction in whole or in part without permission is prohibited. Copyright 1999-2024 ThinkLoud
®
Terms of Use
|
Privacy Policy