16190 search results - page 350 / 3238 » Applicative programming with effects |
128
click to vote
IWPC
2006
IEEE
15 years 10 months ago
2006
IEEE
Several approaches to program comprehension have been proposed along the years, ranging from fact extraction to sophisticated visualization tools. In order to effectively assess t...
154
Voted
CASCON
2001
15 years 6 months ago
2001
Automated verification tools vary widely in the types of properties they are able to analyze, the complexity of their algorithms, and the amount of necessary user involvement. In ...
119
click to vote
CROSSROADS
2006
15 years 4 months ago
2006
Program transformation techniques have reached a maturity level that allows processing high-level language sources in new ways. Not only do they revolutionize the implementation o...
202
Voted
ESCIENCE
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper, we present the design of Aneka, a .NET based service-oriented platform for desktop grid computing that provides: (i) a configurable service container hosting plugga...
124
click to vote
SCAM
2007
IEEE
15 years 11 months ago
2007
IEEE
Collection attributes, as defined by Boyland, can be used as a mechanism for concisely specifying cross-referencelike properties such as callee sets, subclass sets, and sets of v...