5 search results - page 1 / 1 » Manifest Contracts for Datatypes |
POPL
2010
ACM
14 years 8 months ago
2010
ACM
Since Findler and Felleisen [2002] introduced higher-order contracts, many variants have been proposed. Broadly, these fall into two groups: some follow Findler and Felleisen in u...
SEW
2007
IEEE
14 years 5 months ago
2007
IEEE
: After over a decade of use, design patterns continue to find new areas of application. In previous work, we presented a contract formalism for specifying patterns precisely, and...
CONEXT
2008
ACM
14 years 19 days ago
2008
ACM
Today's Internet's routing paths are inefficient with respect to both connectivity and the market for interconnection. The former manifests itself via needlessly long pa...
IIWAS
2007
14 years 8 days ago
2007
This paper presents an approach that provides the necessary assistance to those who are in charge of engineering communities of Web services. Current practices indicate that Web se...
ISSTA
2007
ACM
14 years 12 days ago
2007
ACM
As concurrent and distributive applications are becoming more common and debugging such applications is very difficult, practical tools for automatic debugging of concurrent appl...