No. Title Author Year
1 Trace Typing: An Approach for Evaluating Retrofitted Type Systems Andreasen, Esben et al. 2016
2 Symbolic Execution and Constraint Solving (Dagstuhl Seminar 14442) Cadar, Christian et al. 2015
3 The Good, the Bad, and the Ugly: An Empirical Study of Implicit Type Conversions in JavaScript Pradel, Michael et al. 2015
Current Page :
Number of result pages: 1
Number of documents: 3


DROPS-Home | Fulltext Search | Imprint Published by LZI