DSL
1997
14 years 27 days ago
1997
DSL
1997
14 years 27 days ago
1997
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...
DSL
1997
14 years 27 days ago
1997
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 ...
DSL
1997
14 years 27 days ago
1997
PROCOMET
1998
14 years 27 days ago
1998
We introduce a type assignment system which is parametric with respect to five families of trees obtained by evaluating -terms (B
DSL
1997
14 years 27 days ago
1997
LMO
2000
14 years 27 days ago
2000
The development of flexible and reusable concurrent object-oriented programming ions has suffered from the inherent problem that reusability and extensibility is limited due to pos...
ALC
1997
14 years 27 days ago
1997
A predicative semantics is a mapping of programs to predicates. These predicates characterize sets of acceptable observations. The presence of time in the observations makes the o...
ALC
1997
14 years 27 days ago
1997
In the context of the modular and incremental development of complex systems, viewed as interconnections of interacting components, new dimensions and new problems arise in the ca...
SPLST
2003
14 years 28 days ago
2003