AJACS
body
Informal Workshop on Formal JavaScript, March 2015
- Blame assignment for Higher-Order Contracts with Intersection and Union, Peter Thiemann
- Towards Tractable Verification of JavaScript Programs, Daiva Naudžiūnienė
- Toward Static Analysis of Real-World JavaScript Code, or the Curse of JQuery, Anders Møller
- JSCert: One Year On, Philippa Gardner
- Experiments with Maturing JavaScript, Andreas Rossberg
- StrongScript: concrete types for TypeScript, Francesco Zappa Nardelli
- LambdaCert, S5 meets JSCert, Marek Materzok
- From JsCert Onwards, Arthur Charguéraud
- From JSCert to an Abstract Interpreter, Martin Bodin