119
click to vote
ECOOP
2008
Springer
15 years 4 months ago
2008
Springer
Abstract We present a datatype package that enables the shallow embedding technique to object-oriented specification and programming languages. This datatype package incrementally ...