Search for Topics All Reviews
	Browse All Reviews > Theory Of Computation (F) > Logics And Meanings Of Programs (F.3) > Semantics Of Programming Languages (F.3.2) > Program Analysis (F.3.2...)     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending     1-10 of 16 Reviews about "Program Analysis (F.3.2...)": Date Reviewed   Monadic abstract interpreters Sergey I., Devriese D., Might M., Midtgaard J., Darais D., Clarke D., Piessens F.  PLDI 2013 (Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation, Seattle, WA, Jun 16-19, 2013) 399-410, 2013.  Type: Proceedings Abstract interpretation is an important conceptual framework that unifies many different concepts in static analysis. However, writing a general, modular, abstract interpreter has not been as straightforward. There are two difficulties... Aug 19 2013   Solving systems of rational equations through strategy iteration Gawlitza T., Seidl H. ACM Transactions on Programming Languages and Systems 33(3): 1-48, 2011.  Type: Article Advanced compilation techniques that target parallel computing architectures make heavy use of various abstractions of programming constructs to decide, at compile time, whether or not a piece of code can be executed in parallel with a... Jun 23 2011   Static type inference for Ruby Furr M., An J., Foster J., Hicks M.  SAC 2009 (Proceedings of the 2009 ACM Symposium on Applied Computing, Honolulu, Hawaii, 1859-1866, 2009.  Type: Proceedings In current programming language designs, flexibility and early error detection are typically seen as opposing forces. This is because flexibility is usually gained through dynamic typing, while early error detection is done through sta... Mar 18 2010   Program interpolation Moss A., Page D.  PEPM 2009 (Proceedings of the 2009 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Savannah, GA, Jan 19-20, 2009) 31-40, 2008.  Type: Proceedings There continues to be an evolving realization of an increasing discrepancy between current programming languages and hardware architectures. Furthermore, for such a rapidly moving target as today’s computing platforms, optimi... May 8 2009   Path-oriented program analysis Huang J., Cambridge University Press, 2007.  Type: Book In an ideal world, the “correctness” problem in computer science (CS) would be tackled mainly by teaching the programmer to design the code correctly, from the beginning, for formal verification using ... Aug 1 2008   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   Slicing concurrent Java programs using Indus and Kaveri Ranganath V., Hatcliff J. International Journal on Software Tools for Technology Transfer (STTT) 9(5): 489-504, 2007.  Type: Article From a given program source code, program slicing attempts to gather the relevant subset of instructions that are required to compute a particular variable or to follow a given control path. Indus is a programming environment targeted ... Apr 2 2008   Towards a theoretical model for software growth Herraiz I., Gonzalez-Barahona J., Robles G.  Mining software repositories (Proceedings of the Fourth International Workshop on Mining Software Repositories,May 20-26, 2007) 212007.  Type: Proceedings Empirical studies of software projects are important because they provide valuable data that helps us understand better the way software is constructed and how it evolves. This paper looks at a large body of C code that makes up the co... Mar 3 2008   Ariadne: an Eclipse-based system for tracking the originality of source code Luo L., Hao D., Tian Z., Dang Y., Hou B., Malkin P., Yang S. IBM Systems Journal 46(2): 289-303, 2007.  Type: Article Reusing software reduces development time and improves the robustness of code. On the other hand, it exposes organizations to increased risks associated with potential misuse of intellectual property, such as patent infringement and vi... Jan 21 2008   Theoretical foundations of dynamic program slicing Binkley D., Danicic S., Gyimóthy T., Harman M., Kiss Á., Korel B. Theoretical Computer Science 360(1): 23-41, 2006.  Type: Article Program slicing was originally introduced by Mark Weiser to formalize the mental process that a programmer follows to find a bug. Essentially, program slicing extracts those sentences that are related to some criterion (referred to as ... Dec 18 2006       Display 510152550100 per page
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy