Search for Author All Reviews
	Banerjee, Anindya     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       Dependent type theory for verification of information flow and access control policies Nanevski A., Banerjee A., Garg D. ACM Transactions on Programming Languages and Systems 35(2): 1-41, 2013.  Type: Article Security issues are a growing concern in an increasingly connected society. Given the central role played by programming languages in the implementation of information technology systems, introducing such matters early in the specifica...... Sep 5 2013     Ownership confinement ensures representation independence for object-oriented programs Banerjee A., Naumann D. Journal of the ACM 52(6): 894-960, 2005.  Type: Article Understanding and reasoning about the behavior of programs written in object-oriented (OO) languages, such as Java, C#, and C++, remains difficult for a variety of reasons. Setting aside the problems there are in forming clear models o...... Feb 23 2006
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy