Sciweavers

1407 search results - page 48 / 282
» The Use of Overloading in Java Programs
Sort
View
HASKELL
2006
ACM
15 years 8 months ago
An extensible dynamically-typed hierarchy of exceptions
In this paper we address the lack of extensibility of the exception type in Haskell. We propose a lightweight solution involving the use of existential types and the Typeable clas...
Simon Marlow
ECOOP
2008
Springer
15 years 4 months ago
Externalizing Java Server Concurrency with CAL
One of the most important decisions about the architecture of a server program is its concurrency mechanisms. However, a good concurrency model for general-purpose server programs ...
Charles Zhang, Hans-Arno Jacobsen
IWPC
2005
IEEE
15 years 7 months ago
Tool Demonstration: JIVE and JOVE: Java as it Happens
Dynamic software visualization is designed to provide programmers with insights as to what the program is doing. Most current visualizations either use program traces to show info...
Steven P. Reiss, Manos Renieris
SOFTVIS
2005
ACM
15 years 7 months ago
Jove: java as it happens
Dynamic software visualization is designed to provide programmers with insights as to what the program is doing. Most current dynamic visualizations either use program traces to s...
Steven P. Reiss, Manos Renieris
JTRES
2010
ACM
15 years 2 months ago
Static checking of safety critical Java annotations
The Safety Critical Java Specification intends to support the development of programs that must be certified. The specification includes a number of annotations used to constrain ...
Daniel Tang, Ales Plsek, Jan Vitek