1407 search results - page 21 / 282 » The Use of Overloading in Java Programs |
EUROPAR
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. In an interpreted execution there is an interdependence between the interpreter's execution and the interpreted application's execution; the implementation of t...
107
click to vote
CAV
2012
Springer
13 years 2 months ago
2012
Springer
Abstract. In earlier work, we developed a technique to prove termination of Java programs automatically: first, Java programs are automatically transformed to term rewrite systems...
104
click to vote
PPPJ
2003
ACM
15 years 5 months ago
2003
ACM
We report on a continuing study into teaching programming to pre-teens school-children, with some as young as seven years old. As part of the study we aim to test childrens’ alg...
GPCE
2003
Springer
15 years 5 months ago
2003
Springer
Concepts—sets of abstractions related by common requirements— have a central role in generic programming. This paper proposes a general framework for using concepts to control ...
108
click to vote
ICALT
2003
IEEE
15 years 5 months ago
2003
IEEE
The “JavaTM Intelligent Tutoring System” (JITS) research project involves the development of a programming tutor designed for students in their first programming course in Jav...