Search for Author All Reviews
	Pugh, William     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 5 of 6 reviews       Using checklists to review static analysis warnings Ayewah N., Pugh W.  DEFECTS 2009 (Proceedings of the 2nd International Workshop on Defects in Large Software Systems, Chicago, IL, Jul 19, 2009) 11-15, 2009.  Type: Proceedings Static analysis is important for detecting code defects. Most automatic tools based on static analysis have reached a certain level of maturity, making them trusted partners in code quality assurance. However, the tools are often limit...... Sep 21 2009     Two-dimensional bidirectional object layout Gil J., Pugh W., Weddell G., Zibin Y. ACM Transactions on Programming Languages and Systems 30(5): 1-38, 2008.  Type: Article Inheritance is one of the fundamental paradigms of object-oriented programming. This paradigm allows classes to inherit features and behaviors from a superclass. Multiple inheritance allows classes to inherit from more than one supercl...... Oct 22 2008     Model-checking concurrent systems with unbounded integer variables: symbolic representations, approximations, and experimental results Bultan T., Gerber R., Pugh W. ACM Transactions on Programming Languages and Systems 21(4): 747-789, 1999.  Type: Article The authors discuss the automatic analysis and verification of concurrent programs with unbounded integer variables. These programs are expressed in the event-action language and have their semantics defined in terms of infinite (becau...... Mar 1 2000     Constraint-based array dependence analysis Pugh W., Wonnacott D. ACM Transactions on Programming Languages and Systems 20(3): 635-678, 1998.  Type: Article Array dependence analysis first detects aliases among arrayelements inside a nest of loops. If aliased elements are found, theymust be characterized by their data dependence relationships. If noinhibiting dependences are detected, the ...... May 1 1999     Static analysis of upper and lower bounds on dependences and parallelism Pugh W., Wonnacott D. ACM Transactions on Programming Languages and Systems 16(4): 1248-1278, 1994.  Type: Article The authors present a two-step approach to searching source code for possible parallelism. The basic problem is to accurately compute array data dependences. Existing compilers employ conservative algorithms and sometimes fail to detec...... Jan 1 1996     Display 510152550100 per column
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy