Comparing Flow-based Binding-time Analyses

Comparing Flow-based Binding-time Analyses (1995)

by Jens Palsberg

Venue:	PROC. TAPSOFT’95, LNCS
Citations:	2 - 0 self

@MISC{Palsberg95comparingflow-based,
    author = {Jens Palsberg},
    title = { Comparing Flow-based Binding-time Analyses},
    year = {1995}
}

Binding-time analyses based on flow analysis have been presented by

996	The Lambda Calculus, Its Syntax and Semantics - Barendregt - 1984
157	Object-Oriented Type Systems - Palsberg, Schwartzbach - 1994
89	Automatic autoprojection of higher order recursive equations - Bondorf - 1991
74	Replacing function parameters by global variables - SESTOFT - 1988
67	Binding time analysis for higher order untyped functional languages - Consel - 1990
55	Closure analysis in constraint form - Palsberg - 1995
46	Efficient analyses for realistic off-line partial evaluation - Bondorf, Jørgensen - 1993
46	Partial type inference for untyped functional programs - Gomard - 1990
36	Safety analysis versus type inference - Palsberg, Schwartzbach - 1995
29	Automatic binding time analysis for a typed l calculus - Nielson, Nielson - 1988
29	Safety analysis versus type inference for partial types - Palsberg, Schwartzbach - 1992
17	Correctness of binding-time analysis - Palsberg - 1993
11	Automatic binding time analysis for a typed λ-calculus - Nielson, Nielson - 1988
9	Binding-time analysis: Abstract interpretation versus type inference - Palsberg, Schwartzbach - 1994