Search for Topics All Reviews
	Browse All Reviews > Software (D) > Software Engineering (D.2) > Software/Program Verification (D.2.4) > Assertion Checkers (D.2.4...)     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending     1-5 of 5 Reviews about "Assertion Checkers (D.2.4...)": Date Reviewed   WYSINWYX: what you see is not what you execute Balakrishnan G., Reps T. ACM Transactions on Programming Languages and Systems 32(6): 1-84, 2010.  Type: Article Source code analysis is a very well-known and well-developed area that deals with analyzing programs written in high-level languages to detect the presence of defects and to extract useful information about the program.... Nov 9 2010   Improving application security with data flow assertions Yip A., Wang X., Zeldovich N., Kaashoek M.  SOSP 2009 (Proceedings of the ACM SIGOPS 22nd Symposium on Operating Systems Principles, Big Sky, MT, Oct 11-14, 2009) 291-304, 2009.  Type: Proceedings Security violations and the unintended flow of important data are some of the problems faced by Web application developers. Yip et al. propose a methodology and a runtime system, RESIN, for avoiding and preventing such problems.... Jan 18 2010   A calculus of atomic actions Elmas T., Qadeer S., Tasiran S.  POPL 2009 (Proceedings of the 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Savannah, GA, Jan 21-23, 2009) 2-15, 2008.  Type: Proceedings Verification of partial correctness of shared-variable parallel programs is a very old subject. Nearly 35 years ago, Owicki and Gries proposed the first axiomatization of partial verification of parallel programs, using Hoare-style log... Mar 16 2009   Efficient and effective array bound checking Nguyen T., Irigoin F. ACM Transactions on Programming Languages and Systems 27(3): 527-570, 2005.  Type: Article Array bound checking is an important step in software verification, and omitting this step often has consequences ranging from meaningless data to potential security violations. However, such checking is resource-intensive, and, accord... Sep 2 2005   Disjunctive program analysis for algebraic data types Jensen T. ACM Transactions on Programming Languages and Systems 19(5): 751-803, 1997.  Type: Article Jensen presents a framework for analyzing uniform program properties (relating to the content of data structures rather than to the structures themselves) in a high-order functional language with recursive data structures. The developm... Jun 1 1998
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy