Search for Author All Reviews
	Sagiv, Mooly     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       Specifying and verifying sparse matrix codes Arnold G., Hölzl J., Köksal A., Bodík R., Sagiv M. ACM SIGPLAN Notices 45(9): 249-260, 2010.  Type: Article It is increasingly recognized that the heroics involved in coding efficient, low-level, imperative programs for various tasks are not sustainable. While the gain in efficiency might be quite real, the loss of certainty (with respect to...... Nov 7 2011     Program analysis and compilation, theory and practice: essays dedicated to Reinhard Wilhelm on the occasion of His 60th Birthday (Lecture Notes in Computer Science 4444) Reps T., Sagiv M., Bauer J., Springer-Verlag New York, Inc., Secaucus, NJ, 2007. 361 pp.  Type: Book (9783540713159) To celebrate Reinhard Wilhelm’s 60th birthday, a symposium was held at Schloss Dagstuhl. The language areas that Reinhard Wilhelm contributed to during his career were the subjects of the symposium. After the symposium, most ...... Apr 25 2008     A framework for numeric analysis of array operations Gopan D., Reps T., Sagiv M.  Principles of programming languages (Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Long Beach, California, USA, Jan 12-14, 2005) 338-350, 2005.  Type: Proceedings Abstract interpretation is a powerful framework for performing static analysis of computer programs. Some programming constructs, however, such as array data structures, have proven difficult to tackle using this approach. One of the k...... Sep 29 2005     Solving shape-analysis problems in languages with destructive updating Sagiv M., Reps T., Wilhelm R. ACM Transactions on Programming Languages and Systems 20(1): 1-50, 1998.  Type: Article An abstract interpretation of imperative programs mutating pointer-based structures is presented. This interpretation can reach conclusions such as that inserting into a circular list yields a circular list, while inserting into an acy...... Jul 1 1998
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy