Sciweavers

1407 search results - page 4 / 282
» The Use of Overloading in Java Programs
Sort
View
POPL
2004
ACM
14 years 6 months ago
Principal typings for Java-like languages
The contribution of the paper is twofold. First, we define a general notion of type system equipped with an entailment relation between type environments; this generalisation serv...
Davide Ancona, Elena Zucca
CSREASAM
2006
13 years 7 months ago
Using Aspects and Compilation Techniques to Dynamically Manage Applications
- The emergence of middleware solutions and new services even on small devices will need adapted distributed management solutions which address these specificities, both in terms o...
Bernard Kaddour, Joël Quinqueton
IPPS
2000
IEEE
13 years 10 months ago
JavaSpMT: A Speculative Thread Pipelining Parallelization Model for Java Programs
This paper presents a new approach to improve performance of Java programs by extending the superthreaded speculative execution model [14, 15] to exploit coarsegrained parallelism...
Iffat H. Kazi, David J. Lilja

Book
358views
15 years 3 months ago
Java for the Beginning Programmer
"Java for the Beginning Programmer teaches Java to someone with absolutely no programming background. This book focuses on core programming topics such as variables, looping, ...
Jeff Heaton
FMICS
2006
Springer
13 years 9 months ago
jmle: A Tool for Executing JML Specifications Via Constraint Programming
Formal specifications are more useful and easier to develop if they are executable. In this work, we describe a system for executing specifications written in the Java Modeling Lan...
Ben Krause, Tim Wahls