A System for Translating Executable VDM Speci cations intoLazy


This article describes the process of developing a system for translating VDM executable speci cations into Lazy ML prototypes. The system was speci ed in VDM and a Lazy ML prototype implementation was derived from its speci cation. This article concentrates on discussing the lessons learned in each stage of the development process, evaluating the adequacy… (More)


  • Presentations referencing similar topics