Sciweavers

27 search results - page 3 / 6
» Object-Oriented Programming Languages
Sort
View
SIGPLAN
2002
15 years 4 months ago
A rule-based language for programming software updates
We describe the design of a rule-based language for expressing changes to Haskell programs in a systematic and reliable way. The update language essentially offers update commands...
Martin Erwig, Deling Ren