Sciweavers

1407 search results - page 11 / 282
» The Use of Overloading in Java Programs
Sort
View
SAC
2009
ACM
14 years 3 months ago
Points-to analysis for JavaScript
JavaScript is widely used by web developers and the complexity of JavaScript programs has increased over the last year. Therefore, the need for program analysis for JavaScript is ...
Dongseok Jang, Kwang-Moo Choe
PPPJ
2004
ACM
14 years 1 months ago
Using the divide and conquer strategy to teach Java framework design
All programmers should understand the concept of program families and know the techniques for constructing them. This paper describes a case study that can be used to introduce st...
H. Conrad Cunningham, Yi Liu, Cuihua Zhang
IJHPCA
2007
116views more  IJHPCA 2007»
13 years 8 months ago
Parallel Languages and Compilers: Perspective From the Titanium Experience
We describe the rationale behind the design of key features of Titanium—an explicitly parallel dialect of JavaTM for high-performance scientific programming—and our experienc...
Katherine A. Yelick, Paul N. Hilfinger, Susan L. G...
PLDI
2006
ACM
14 years 2 months ago
Effective static race detection for Java
We present a novel technique for static race detection in Java programs, comprised of a series of stages that employ a combination of static analyses to successively reduce the pa...
Mayur Naik, Alex Aiken, John Whaley
ATVA
2005
Springer
202views Hardware» more  ATVA 2005»
14 years 2 months ago
Model Checking Real Time Java Using Java PathFinder
Abstract. The Real Time Specification for Java (RTSJ) is an augmentation of Java for real time applications of various degrees of hardness. The central features of RTSJ are real t...
Gary Lindstrom, Peter C. Mehlitz, Willem Visser