Changes between Version 2 and Version 3 of path:tutorial:typeHarvesting

Timestamp:

12/18/2013 03:18:57 PM (10 years ago)

Author:

michael.perscheid

Comment:

--

path:tutorial:typeHarvesting

@@ -10 +10 @@
 
 Our approach introduces type harvesting, a practical approach to obtaining type information. 
-
-It is based on stepwise code execution of the code in question, closely observing the types of entities in question.
-
+For a specified system under observation, we wrap all corresponding methods and closely observe their types at run-time. 
 Type harvesting allows for exploiting unit tests to automatically obtain type information for a code base. 
 Its evaluation, using several complex applications, shows that type harvesting yields excellent results with high precision.
@@ -20 +18 @@
 == More information ==
 
- * Michael Haupt, Michael Perscheid, Robert Hirschfeld. ''Type Harvesting – A Practical Approach to Obtaining Typing Information in Dynamic Programming Languages.'' In Proceedings of ACM Symposium on Applied Computing (SAC 2011), TaiChung, Taiwan, March 2011, ACM. ([http://michaelperscheid.de/publications/papers/HauptPerscheidHirschfeld_2011_TypeHarvestingAPracticalApproachToObtainingTypingInformationInDynamicProgrammingLanguages_AcmDL.pdf PDF])
+ * Michael Haupt, Michael Perscheid, Robert Hirschfeld. ''Type Harvesting – A Practical Approach to Obtaining Typing Information in Dynamic Programming Languages.'' In Proceedings of ACM Symposium on Applied Computing (SAC 2011), !TaiChung, Taiwan, March 2011, ACM. ([http://michaelperscheid.de/publications/papers/HauptPerscheidHirschfeld_2011_TypeHarvestingAPracticalApproachToObtainingTypingInformationInDynamicProgrammingLanguages_AcmDL.pdf PDF])