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