Demand-Driven Type Inference with Subgoal Pruning: Trading Precision for Scalability-Reference-Cited by-同舟云学术

Demand-Driven Type Inference with Subgoal Pruning: Trading Precision for Scalability

Published:2004 Issue: Volume: Page:51-74
ISSN:0302-9743
Container-title:ECOOP 2004 – Object-Oriented Programming
language:
Short-container-title:

Author:

Spoon S. Alexander,Shivers Olin

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-24851-4_3.pdf

Reference23 articles.

1. American National Standards Institute: ANSI NCITS 319-1998: Information Technology — Programming Languages — Smalltalk. American National Standards Institute, 1430 Broadway, New York, NY 10018, USA (1998)

2. Kay, A.C.: The early history of smalltalk. In: The second ACM SIGPLAN conference on History of programming languages, pp. 69–95. ACM Press, New York (1993)

3. Kogge, P.M.: The Architecture of Symbolic Computers. McGraw-Hill, New York (1991)

4. Opdyke, W.F.: Refactoring object-oriented frameworks. PhD thesis, University of Illinois at Urbana-Champaign (1992)

5. Grove, D., Defouw, G., Dean, J., Chambers, C.: Call graph construction in objectoriented languages. In: ACM Conference on Object-Oriented Programming, Systems, Language, and Applications, OOPSLA (1997)

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. DepMiner: Automatic Recommendation of Transformation Rules for Method Deprecation;Reuse and Software Quality;2022

2. Exploring cheap type inference heuristics in dynamically typed languages;Proceedings of the 2016 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software;2016-10-20

3. Inferring Types by Mining Class Usage Frequency from Inline Caches;Proceedings of the 11th edition of the International Workshop on Smalltalk Technologies;2016-08-23

4. Polymorphic type inference for scripting languages with object extensions;ACM SIGPLAN Notices;2012-03-18

5. Scaling abstraction refinement via pruning;ACM SIGPLAN Notices;2011-06-04