302 search results - page 15 / 61 » Indexing the Java API Using Source Code |
139
Voted
MSR
2005
ACM
15 years 9 months ago
2005
ACM
One of the most successful applications of static analysis based bug finding tools is to search the source code for violations of system-specific rules. These rules may describe h...
145
Voted
BMCBI
2010
15 years 3 months ago
2010
Background: CellML is an XML based language for representing mathematical models, in a machine-independent form which is suitable for their exchange between different authors, and...
175
Voted
CSMR
2010
IEEE
14 years 10 months ago
2010
IEEE
Annotations are a means to attach additional meta data to the source code of a system. Nowadays, more and more technologies rely on the presence of such annotations in the source c...
139
Voted
ENTCS
2006
15 years 3 months ago
2006
This paper presents a novel profiling approach, which is entirely based on program transformation techniques in order to enable exact profiling, preserving complete call stacks, m...
128
Voted
OOPSLA
2007
Springer
15 years 9 months ago
2007
Springer
We have implemented intraprocedural control-flow and data-flow analysis of Java source code in a declarative manner, using reference attribute grammars augmented with circular a...