A System for Translating Executable VDM Specifications into Lazy ML

Subjects

Subjects :

Rapid prototyping
Functional programming
Computer science
Programming language
Specification language
Compiler
Executable
computer.file_format
Vienna Development Method
computer.software_genre
Formal methods
computer
Software

Details

ISSN :

1097024X and 00380644

Volume :

27

Database :

OpenAIRE

Journal :

Software: Practice and Experience

Accession number :

edsair.doi.dedup.....f350a1fe0131afe0d78f155b79bd7f6e

Full Text :

https://doi.org/10.1002/(sici)1097-024x(199703)27:3<271::aid-spe84>3.0.co;2-t