Sciweavers

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