2362 search results - page 222 / 473 » Programming in Standard ML |
145
click to vote
ESOP
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. This paper is concerned with testing properties of polymorphic functions. The problem is that testing can only be performed on specific monomorphic instances, whereas par...
133
click to vote
TOOLS
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract. Virtual machines (VMs) emulating hardware devices are generally implemented in low-level languages for performance reasons. This results in unmaintainable systems that ar...
127
click to vote
FSEN
2009
Springer
15 years 11 months ago
2009
Springer
We present a general technique for extending Java-like languages with dynamic overloading, where method selection depends on the dynamic type of the parameter, instead of just the ...
171
click to vote
SOSE
2008
IEEE
15 years 10 months ago
2008
IEEE
Static code analysis is the analysis of software that is performed to acquire information concerning the dynamic behavior of programs built from that software, without actually ex...
129
click to vote
TOOLS
2008
IEEE
15 years 10 months ago
2008
IEEE
Object composition is often advocated as a more flexible alternative to standard class inheritance since it takes place at run-time, thus permitting to specialize the behavior of ...