Sciweavers

22 search results - page 2 / 5
» dsl 1997
Sort
View
118
Voted
DSL
1997
15 years 8 months ago
BDL: A Language to Control the Behavior of Concurrent Objects
Frédéric Bertrand, Michel Augeraud
DSL
1997
15 years 8 months ago
A Modular Monadic Action Semantics
Keith Wansbrough, John Hamer
116
Voted
DSL
1997
15 years 8 months ago
A Slicing-Based Approach for Locating Type Errors
T. B. Dinesh, Frank Tip