Abstract: We describe the design and methods of a tool that, based on behavioral specifications in interfaces, generates simple adaptation code to overcome incompatibilities between Standard ML modules.
External IDs:dblp:conf/amast/HaackHSW02
Loading