SCAM
2008
IEEE
13 years 11 months ago
2008
IEEE
AJAX is a web application programming technique that allows portions of a web page to be loaded dynamically, separate from other parts of the web page. This gives the user a much ...
SCAM
2008
IEEE
13 years 11 months ago
2008
IEEE
Decompiling low-level code to a high-level intermediate representation facilitates the development of analyzers, model checkers, etc. which reason about properties of the low-leve...
SCAM
2008
IEEE
13 years 11 months ago
2008
IEEE
The source code of a software system is in constant change. The impact of these changes spreads out across the software system and may lead to the sudden manifestation of failures...
SCAM
2008
IEEE
13 years 11 months ago
2008
IEEE
This paper argues that semantic information encoded in natural language identifiers is a largely neglected resource for program analysis. First we show that words in Java class n...
SCAM
2008
IEEE
13 years 11 months ago
2008
IEEE
The usefulness and usability of programming tools (for example, languages, libraries, and frameworks) may greatly impact programmer productivity and software quality. Ideally, the...
SCAM
2008
IEEE
13 years 11 months ago
2008
IEEE
Polymorphism and class hierarchies are key to increasing the extensibility of an object-oriented program but also raise challenges for program comprehension. Despite many advances...
SCAM
2008
IEEE
13 years 11 months ago
2008
IEEE
Aspect-Oriented Programming (AOP) strives to localize the scattered and tangled implementations of crosscutting concerns (CCCs) by allowing developers to declare that certain acti...
SCAM
2008
IEEE
13 years 11 months ago
2008
IEEE
Ensuring the correctness and reliability of software systems is one of the main problems in software development. Model checking, a static analysis method, is preponderant in impr...
SCAM
2008
IEEE
13 years 11 months ago
2008
IEEE
In a previous study, we showed that indentation was regular across multiple languages and the variance in the level of indentation of a block of revised code is correlated with me...
SCAM
2008
IEEE
13 years 11 months ago
2008
IEEE
The JOANA project (Java Object-sensitive ANAlysis) is a program analysis infrastructure for the Java language. It contains a wide range of analysis techniques such as dependence g...