159
click to vote
PROCOMET
1998
15 years 7 months ago
1998
We develop a theory of bisimulations in the join-calculus. We introduce a refined operational model that makes interactions with the environment explicit, and discuss the impact o...
165
Voted
PROCOMET
1998
15 years 7 months ago
1998
Software development and maintenance are costly endeavors. The cost can be reduced if more software defects are detected earlier in the development cycle. This paper introduces th...
135
Voted
DSL
1997
15 years 7 months ago
1997
126
Voted
DSL
1997
15 years 7 months ago
1997
133
Voted
DSL
1997
15 years 7 months ago
1997
132
Voted
DSL
1997
15 years 7 months ago
1997
138
Voted
DSL
1997
15 years 7 months ago
1997
141
Voted
DSL
1997
15 years 7 months ago
1997
DiSTiL is a software generator that implements a declarative domain-specific language (DSL) for container data structures. DiSTiL is a representative of a new approach to domain-...