2017
DOI: 10.1145/3158102
|View full text |Cite
|
Sign up to set email alerts
|

Jones-optimal partial evaluation by specialization-safe normalization

Abstract: We present partial evaluation by specialization-safe normalization, a novel partial evaluation technique that is Jones-optimal, that can be self-applied to achieve the Futamura projections and that can be type-checked to ensure it always generates code with the correct type. Jones-optimality is the gold-standard for nontrivial partial evaluation and guarantees that a specializer can remove an entire layer of interpretation. We achieve Jones-optimality by using a novel affine-variable static analysis that direc… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1

Citation Types

0
2
0

Year Published

2018
2018
2022
2022

Publication Types

Select...
3
1
1

Relationship

0
5

Authors

Journals

citations
Cited by 5 publications
(2 citation statements)
references
References 38 publications
0
2
0
Order By: Relevance
“…Similarly, as noted in Section 2, our technique is similar to partial evaluation [Futamura 1999;Mogensen 1995]. However, partial evaluation is typically used for optimization [Brown and Palsberg 2017;Jones et al 1993], and the full resolution of reflection is usually an orthogonal concern. We are unaware of work trying to use partial evaluation to handle difficult-to-analyze framework code for sound program analysis, and we believe Concerto is less brittle than a partial evaluation approach to this problem.…”
Section: Related Workmentioning
confidence: 99%
“…Similarly, as noted in Section 2, our technique is similar to partial evaluation [Futamura 1999;Mogensen 1995]. However, partial evaluation is typically used for optimization [Brown and Palsberg 2017;Jones et al 1993], and the full resolution of reflection is usually an orthogonal concern. We are unaware of work trying to use partial evaluation to handle difficult-to-analyze framework code for sound program analysis, and we believe Concerto is less brittle than a partial evaluation approach to this problem.…”
Section: Related Workmentioning
confidence: 99%
“…Nevertheless these representations were only partially typed. The finally tagless approach to embedded representations [29] kicked off a series of papers on typed selfrepresentation [4,5,18,19,20,21,81,107] which eventually succeeded at providing elegant solutions.…”
Section: Reasoning In the Lambda Calculus About Syntaxmentioning
confidence: 99%