Inferring useful static types for duck typed languages
Complete and precise identification of types is essential to the effectiveness of programming aids such as refactoring or code completion. Existing approaches that target dynamically typed languages infer types using flow analysis, but flow analysis does not cope well with heavily used features such...
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
Imperial College London
2013
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.587360 |