… is on one part of it: empirical analysis of software languages. Such analysis … paper, we sketch a survey on empirical language analysis, and we argue that the research method of content analysis is needed for a thorough survey. …

… the development of program analysis tools. However, sometimes the analysis … analysis tasks, and the display of the results generated by the analysis … analysis tools defined using the K framework, a rewriting-based framework …

… Since a binding-time analysis determines how an off-line partial evaluation system will specialize a program, the accuracy of the binding-time analysis … analysis for the partial evaluation for XQuery is presented, and it has been …

… . Numerous analysis techniques supporting the maintenance process exist … complementary techniques for the analysis of model transformations. These techniques … of the proposed techniques have already been employed for the analysis …

… . To obtain this kind of information an analysis of the dynamic behavior of an application is more appropriate than a static analysis of the code. Understanding dynamic behavior through event analysis is a challenge because of the large amount …

… IDEs depend on incremental name and type analysis for responsive feedback … for incremental name and type analysis. Analysis consists of two phases. The first phase analyzes lexical scopes and binding instances and creates deferred analysis …

… Binding-time analysis is a crucial component of an offline partial evaluator … the degree of specialization of programs. We present a binding-time analysis for applicative languages. This analysis is polyvariant and treats both higher-order …

… Exception analysis and points-to analysis are typically done in complete separation. Past algorithms for precise exception analysis (e.g., pairing throw … for performance and precision. We show that our exception analysis is expressible highly …

… of dataflow analysis. FlowSpec has declarative support for the specification …. The first case study is a classical dataflow analysis, scaled to this full language. The second case study is a domain-specific analysis of Green-Marl. …

… , for example, using templates or rewrite rules. We apply dynamic analysis to program … the source of the bug. Our analysis focuses on syntactic language constraints … mechanisms to derive the analysis from the grammar. Moreover, we designed a run-time …

… The analysis of data from multiple sources promises rich insights into complex phenomena. However, such an analysis requires data integration, which remains … to perform ad-hoc data analysis of multiple data sources, we are researching …

… of the actual values of the input by a static analysis called binding time analysis … interpretation, we present a binding time analysis for an untyped functional … structures. To our knowledge it is the first such analysis. It has been …

… connections between software analysis and software transformation tools. This abstract … analysis. First we discuss the solution space in general, and then we compare …

… Context sensitive points-to analysis suffers from the scalability problem. We …-to analysis. Compared to BDD and EPA, the state of the art, the geometric encoding is much … 1-object-sensitive analysis in Paddle, and the speedup steeply goes up to 24x …

… Many analysis problems can be cast in the form of evaluating minimal models … of analysis problems — groundness analysis of logic programs, and strictness analysis … experimental evidence that the resultant groundness and strictness analysis systems …