1407 search results - page 196 / 282 » The Use of Overloading in Java Programs |
122
Voted
ENTCS
2007
15 years 2 months ago
2007
Many modern program verifiers translate the program to be verified and its specification into a simple intermediate representation and then compute verification conditions on ...
203
Voted
POPL
2003
ACM
16 years 2 months ago
2003
ACM
Now that the use of garbage collection in languages like Java is becoming widely accepted due to the safety and software engineering benefits it provides, there is significant int...
118
Voted
ICALT
2006
IEEE
15 years 8 months ago
2006
IEEE
Teachers working in robotics classes face a major problem: how to keep track on individual students’ or even small groups’ progress in a class of 30-40 students. An agency app...
130
Voted
ECOOP
2003
Springer
15 years 7 months ago
2003
Springer
We design and study νObj, a calculus and dependent type system for objects and classes which can have types as members. Type can be aliases, abstract types, or new types. The type...
121
Voted
MSE
2000
IEEE
15 years 7 months ago
2000
IEEE
With continuous acceptance of World Wide Web (WWW) as a de facto standard for human-computer interaction and human-human communication, it is desirable to develop net-centric, mul...