1407 search results - page 49 / 282 » The Use of Overloading in Java Programs |
133
click to vote
ECOOP
2010
Springer
15 years 7 months ago
2010
Springer
We reduce JavaScript to a core calculus structured as a small-step operational semantics. We present several peculiarities of the language and show that our calculus models them. W...
108
click to vote
JAVACARD
2000
15 years 5 months ago
2000
Abstract This note discusses a verification in PVS of the AID (Application Identifier) class from JavaCard's API. The properties that are verified are formulated in the interf...
107
click to vote
SOFTVIS
2003
ACM
15 years 7 months ago
2003
ACM
Dynamic software visualization is supposed to provide programmers with insights as to what the program is doing. Most current dynamic visualizations either use program traces to s...
107
click to vote
SIGPLAN
2002
15 years 1 months ago
2002
Field accessor methods have become a ubiquitous feature of object-oriented programming. The definition and use of such methods promote code bloat and an unnatural expression style...
124
Voted
ASE
2005
15 years 2 months ago
2005
A primary goal of program performance understanding tools is to focus the user's attention directly on optimization opportunities where significant cost savings may be found....