Sciweavers

111
Voted
DSL
1997
15 years 8 months ago
A Slicing-Based Approach for Locating Type Errors
T. B. Dinesh, Frank Tip
182
Voted
DSL
1997
15 years 8 months ago
Experience with a Language for Writing Coherence Protocols
In this paper we describe our experience with Teapot [7], a domain-specific language for writing cache coherence protocols. Cache coherence is of concern when parallel and distrib...
Satish Chandra, James R. Larus, Michael Dahlin, Br...
156
Voted
DSL
1997
15 years 8 months ago
Service Combinators for Web Computing
The World-Wide Web is rich in content and services, but access to these resources must be obtained mostly through manual browsers. We would like to be able to write programs that ...
Luca Cardelli, Rowan Davies
112
Voted
DSL
1997
15 years 8 months ago
BDL: A Language to Control the Behavior of Concurrent Objects
Frédéric Bertrand, Michel Augeraud