- We believe that adoption of functional programming will drive wider adoption of lightweight formal methods such as VDM. In return, formal methods could serve as the design method and language for functional programming. Would you agree and/or comment? http://metaphoren.blogspot.com/2014/12/vdm-sl-example-order-processing.html 15 comments haskell
Would you like to stay up to date with Haskell? Checkout Haskell
Weekly.
Related searches:
Search whole site: site:metaphoren.blogspot.com
Search title: Metaphor Engineering: VDM-SL Example: Order Processing
See how to search.