Loading...
Please wait, while we are loading the content...
Similar Documents
Online Type-Directed Partial Evaluation for Dynamically-Typed Languages (1999)
| Content Provider | CiteSeerX |
|---|---|
| Author | Sumii, Eijiro Kobayashi, Naoki |
| Abstract | This article presents an alternative method of type-directed partial evaluation, which is simpler and more efficient than previous methods. Unlike previous methods, it is straightforwardly applicable to functional languages with various powerful type systems. As an extreme instance, this article mainly deals with a dynamically-typed functional language like Scheme. The key idea is to extend primitive value destructors such as function application and pair destruction (car and cdr), so that they generate residual code when their operands are dynamic. It unnecessitates an operation in type-directed partial evaluation called reflection, which was the major cause of complication and inefficiency in previous methods. We formalize our method as an extension of two-level -calculus, and prove it correct. Furthermore, we show that our type-directed partial evaluator can be derived from a simple online syntax-directed partial evaluator with higher-order abstract syntax, by the same transformatio... |
| File Format | |
| Volume Number | 17 |
| Journal | Computer Software |
| Language | English |
| Publisher Date | 1999-01-01 |
| Access Restriction | Open |
| Subject Keyword | Online Type-directed Partial Evaluation Dynamically-typed Language Previous Method Type-directed Partial Evaluation Extreme Instance Dynamically-typed Functional Language Alternative Method Function Application Primitive Value Destructors Pair Destruction Residual Code Key Idea Two-level Calculus Higher-order Abstract Syntax Type-directed Partial Evaluator Simple Online Syntax-directed Partial Evaluator Major Cause Functional Language Various Powerful Type System |
| Content Type | Text |
| Resource Type | Article |
