Search w/in this Reviewer for Reviewers All Reviews
	Nyberg, Karl Verdix Corporation Chantilly, Virginia         Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 2 of 2 reviews       A language of specified programs Tarlecki A. (ed) Science of Computer Programming 5(1): 59-81, 1985.  Type: Article This paper informally presents another language (perhaps, appropriately, another pair of languages) for the specification and implementation of provably correct programs. Aside from the relatively lucid description of the verification ... Sep 1 1985     The verification of the protection mechanisms of high-level language machines Gligor V. International Journal of Parallel Programming 12(4): 211-246, 1983.  Type: Article This paper discusses a methodology for the (informal) verification of processor-supported protection mechanisms of high-level language architectures (e.g., INTEL iAPX 432). The methodology takes an abstract model representation of t... Feb 1 1985
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy