An infrastructure for tractable verification of JavaScript programs
The highly dynamic nature of JavaScript, coupled with its intricate semantics, makes the understanding and development of correct JavaScript code notoriously difficult. We believe that logic-based verification has much to offer to JavaScript. In particular, separation logic has been successfully app...
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
Imperial College London
2017
|
| Subjects: | |
| Online Access: | https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.745293 |