403 search results - page 38 / 81 » Contracts for higher-order functions |
134
click to vote
ICECCS
2007
IEEE
16 years 12 days ago
2007
IEEE
Abstract—Plugin-based application design has become increasingly popular in recent years, and has contributed to the success of a range of very different applications including ...
146
click to vote
ICDCS
2010
IEEE
15 years 10 months ago
2010
IEEE
—This paper presents the CONTRACT framework to address a fundamental deficiency of the IP network control plane, namely the lack of coordination between an IGP and other control...
221
click to vote
ICSOC
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. The Web and Grid services frameworks provide a promising infrastructure for cross-organizational use of online services. The use of services in large-scale and cross-orga...
157
click to vote
ENTCS
2007
15 years 6 months ago
2007
Even with todays hardware improvements, performance problems are still common in many software systems. An approach to tackle this problem for component-based software architectur...
138
click to vote
LFP
1994
15 years 7 months ago
1994
We present a method, adapted to polymorphically typed functional languages, to detect and collect more garbage than existing GCs. It can be applied to strict or lazy higher order ...