|
|
Conferences in DBLP
thr2csp: Toward Transforming Threads into Communicating Sequential Processes. [Citation Graph (, )][DBLP]
Chopping Concurrent Programs. [Citation Graph (, )][DBLP]
Properties of Slicing Definitions. [Citation Graph (, )][DBLP]
Improving Side-Effect Analysis with Lazy Access Path Resolving. [Citation Graph (, )][DBLP]
Towards Comparing and Combining Points-to Analyses. [Citation Graph (, )][DBLP]
Static Estimation of Test Coverage. [Citation Graph (, )][DBLP]
An Assessment of Type-3 Clones as Detected by State-of-the-Art Tools. [Citation Graph (, )][DBLP]
Evolution of Type-1 Clones. [Citation Graph (, )][DBLP]
Identifying 'Linchpin Vertices' That Cause Large Dependence Clusters. [Citation Graph (, )][DBLP]
Lightweight Techniques for Tracking Unique Program Statements. [Citation Graph (, )][DBLP]
Maintaining Fine-Grained Code Metadata Regardless of Moving, Copying and Merging. [Citation Graph (, )][DBLP]
Backporting Java 5 Code. [Citation Graph (, )][DBLP]
A Value Analysis for C Programs. [Citation Graph (, )][DBLP]
The FermaT Maintenance Environment Tool Demonstration. [Citation Graph (, )][DBLP]
An Evaluation of Current Java Bytecode Decompilers. [Citation Graph (, )][DBLP]
Engineering Abstractions in Model Checking and Testing. [Citation Graph (, )][DBLP]
Concepts as Syntactic Sugar. [Citation Graph (, )][DBLP]
A Metric Extraction Framework Based on a High-Level Description Language. [Citation Graph (, )][DBLP]
RASCAL: A Domain Specific Language for Source Code Analysis and Manipulation. [Citation Graph (, )][DBLP]
Recovering Grammar Relationships for the Java Language Specification. [Citation Graph (, )][DBLP]
|
