Search for Author All Reviews
	Szczepanska, Danuta     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 1 of 1 reviews       A Hoare-like verification system for a language with an exception handling mechanism Szczepanska D. Theoretical Computer Science 80(2): 319-335, 1991.  Type: Article The intended audience for this paper is researchers in semantics and correctness proofs of programs who are interested in languages with exception handling. In the introduction the author distinguishes two kinds of exception handling: ...... Nov 1 1991
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy