1407 search results - page 216 / 282 » The Use of Overloading in Java Programs |
117
Voted
BTW
2003
Springer
15 years 7 months ago
2003
Springer
: XML is the upcoming standard for internet data. Java is the most important programming language for internet applications. Nevertheless, in today’s languages and tools there is...
149
click to vote
ICFP
2006
ACM
16 years 2 months ago
2006
ACM
This paper introduces a pattern for almost compositional functions over recursive data types, and over families of mutually recursive data types. Here "almost compositional&q...
113
click to vote
KBSE
2009
IEEE
15 years 9 months ago
2009
IEEE
Effect systems are important for reasoning about the side effects of a program. Although effect systems have been around for decades, they have not been widely adopted in practice...
117
Voted
SEFM
2008
IEEE
15 years 8 months ago
2008
IEEE
Attempts to dereference null result in an exception or a segmentation fault. Hence it is important to know those program points where this might occur and prove the others (or the...
123
Voted
EUROPAR
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Algorithmic skeletons correspond to a high-level programming model that takes advantage of nestable programming patterns to hide the complexity of parallel/distributed ap...