Search for Author All Reviews
	Craig, Iain D.     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       Formal refinement for operating system kernels Craig I., Springer-Verlag New York, Inc., Secaucus, NJ, 2007. 336 pp.  Type: Book (9781846289668) What happens once a software system has been formally specified? This book provides one answer: the specification can be refined through decreasing abstraction levels until it’s reduced to code, or something close to code.... Jul 28 2008     Object-oriented programming languages: interpretation (Undergraduate Topics in Computer Science) Craig I., Springer-Verlag New York, Inc., Secaucus, NJ, 2007. 252 pp.  Type: Book (9781846287732) Object orientation has recently become a major part of undergraduate computer science programs, making this a timely book. Although the book could be a useful reference for students in a course about comparative programming languages, ...... Aug 9 2007     Formal models of operating system kernels Craig I., Springer-Verlag New York, Inc., Secaucus, NJ, 2006. 338 pp.  Type: Book (9781846283758) Operating systems and kernels are usually considered from one of two perspectives. A high-level perspective is provided in textbooks that review concepts and leave coding to the reader. The low-level perspective happens in ad-hoc imple...... Apr 19 2007     Virtual machines Craig I., Springer-Verlag New York, Inc., Secaucus, NJ, 2005.  Type: Book (9781852339692) This book describes methods for building virtual machines (VMs). The methods generally consist of two steps: step 1 translates a target-independent source program into intermediate code, and step 2 interprets the intermediate code. The...... Feb 1 2006
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy