Towards JavaScript Verification with the Dijkstra State Monadresearch.microsoft.com1 pointisomorph14 years ago