1407 search results - page 2 / 282 » The Use of Overloading in Java Programs |
AFP
1995
Springer
13 years 8 months ago
1995
Springer
The Hindley/Milner type system has been widely adopted as a basis for statically typed functional languages. One of the main reasons for this is that it provides an elegant comprom...
PEPM
1994
ACM
13 years 8 months ago
1994
ACM
One of the most novel features in the functional programming language Haskell is the system of type classes used to support a combination of overloading and polymorphism. Current ...
IWPC
2008
IEEE
13 years 11 months ago
2008
IEEE
Many program comprehension tools use graphs to visualize and analyze source code. The main issue is that existing approaches create graphs overloaded with too much information. Gr...
JAVA
1999
Springer
13 years 9 months ago
1999
Springer
The Java memory model described in Chapter 17 of the Java Language Specification gives constraints on how threads interact through memory. The Java memory model is hard to interp...
APAL
2005
13 years 4 months ago
2005
Systems of explicit mathematics provide an axiomatic framework to represent programs and to prove properties of them. We introduce such a system with a new form of power types usi...