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

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

Cached

Download Links

[www.lexspoon.org]
[www.lexspoon.org]

Other Repositories/Bibliography

DBLP

by S. Alexander Spoon , Olin Shivers

Citations:

13 - 2 self

Versions

Version History

Metadata Version 1

User correction supplied by mph

Datum	Value	Source
TITLE	Demand-Driven Type Inference with Subgoal Pruning: Trading Precision for Scalability	SVM HeaderParse 0.2
AUTHOR NAME	S. Alexander Spoon	user correction
AUTHOR AFFIL	Georgia Institute of Technology	user correction
AUTHOR NAME	Olin Shivers	user correction
AUTHOR AFFIL	Georgia Institute of Technology	user correction
ABSTRACT	After two decades of effort, type inference for dynamically typed languages scales to programs of a few tens of thousands of lines of code, but no further. For larger programs, this paper proposes using a kind of demand-driven analysis where the number of active goals is carefully restricted. To achieve this restriction, the algorithm occasionally prunes goals by giving them solutions that are trivially true and thus require no further subgoals to be solved; the previous subgoals of a newly pruned goal may often be discarded from consideration, reducing the total number of active goals. A specific algorithm DDP is described which uses this approach. An experiment on DDP shows that it infers precise types for roughly 30 % to 45 % of the variables in a program with hundreds of thousands of lines; the percentage varies with the choice of pruning threshold, a parameter of the algorithm. The time required varies from an average of one-tenth of one second per variable to an unknown maximum, again depending on the pruning threshold. These data suggest that 50 and 2000 are both good choices of pruning threshold, depending on whether speed or precision is more important.	user correction
YEAR	2004	user correction
CITATIONS	23 found	ParsCit 1.0