Filters








2,191,046 Hits in 5.1 sec

Type-Directed Partial Evaluation

Olivier Danvy
1995 DAIMI Report Series  
As such, type-directed partial evaluation essentially achieves lambda-calculus normalization.  ...  Type-directed partial evaluation uses no symbolic evaluation for specialization, and naturally processes static computational effects.  ...  Most were type-checked using S t andard ML of New Jersey.  ... 
doi:10.7146/dpb.v24i494.7022 fatcat:vioyao7qrrbljnnppgwr3ig7ce

Type-Directed Partial Evaluation [chapter]

Olivier Danvy
1999 Lecture Notes in Computer Science  
Type-directed partial evaluation is thus used to specialize compiled, closed programs, given their type.  ...  Type-directed partial evaluation stems from the residualization of arbitrary static values in dynamic contexts, given their type.  ...  The corresponding speci cation of type-directed partial evaluation is shown in Figure 1 . It is an extension of type-directed partial evaluation 12].  ... 
doi:10.1007/3-540-47018-2_16 fatcat:ojfoiopf3ff4xkuo67yebypjze

Type-directed partial evaluation

Olivier Danvy
1996 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '96  
Type-directed partial evaluation is thus used to specialize compiled, closed programs, given their type.  ...  Type-directed partial evaluation stems from the residualization of arbitrary static values in dynamic contexts, given their type.  ...  The corresponding speci cation of type-directed partial evaluation is shown in Figure 1 . It is an extension of type-directed partial evaluation 12].  ... 
doi:10.1145/237721.237784 dblp:conf/popl/Danvy96 fatcat:tozjggl4abh2xf2tbymq3setv4

Online Type-Directed Partial Evaluation

Olivier Danvy
1997 BRICS Report Series  
In this experimental work, we extend type-directed partial evaluation (a.k.a.  ...  <br />We report a complete implementation of online type-directed partial evaluation in Scheme, extending our earlier offline implementation.  ...  type-directed partial evaluation [18] .  ... 
doi:10.7146/brics.v4i53.19274 fatcat:f7awleju6fhpljel7cjcu7gfqy

Pragmatics of type-directed partial evaluation [chapter]

Olivier Danvy
1996 Lecture Notes in Computer Science  
Type-directed partial evaluation is thus used to specialize compiled, closed programs, given their type.  ...  Type-directed partial evaluation stems from the residualization of arbitrary static values in dynamic contexts, given their type.  ...  The corresponding speci cation of type-directed partial evaluation is shown in Figure 1 . It is an extension of type-directed partial evaluation 12].  ... 
doi:10.1007/3-540-61580-6_5 fatcat:i2jkkbsli5bhvab6b73w67n6am

Memoization in Type-Directed Partial Evaluation [chapter]

Vincent Balat, Olivier Danvy
2002 Lecture Notes in Computer Science  
However, off-the-shelf type-directed partial evaluation turns out to yield gigantic normal forms.  ...  We successfully eliminate these redundancies by extending type-directed partial evaluation with memoization capabilities.  ...  Type-directed partial evaluation Type-directed partial evaluation is defined as a pair of functions for each type constructor.  ... 
doi:10.1007/3-540-45821-2_5 fatcat:cnljnigx3vcyfomacscdoujqby

Memoization in Type-Directed Partial Evaluation

Vincent Balat, Olivier Danvy
2002 BRICS Report Series  
However, off-the-shelf type-directed partial evaluation turns out to yield gigantic normal forms.  ...  We successfully eliminate these redundancies by extending type-directed partial evaluation with memoization capabilities.  ...  Type-directed partial evaluation Type-directed partial evaluation is defined as a pair of functions for each type constructor.  ... 
doi:10.7146/brics.v9i33.21748 fatcat:jderqbkkbjh5vkhuagdnxasqcy

Type Directed Partial Evaluation for Level-1 Shift and Reset

Danko Ilik
2013 Electronic Proceedings in Theoretical Computer Science  
We present an implementation in the Coq proof assistant of type directed partial evaluation (TDPE) algorithms for call-by-name and call-by-value versions of shift and reset delimited control operators,  ...  The semantic domain for evaluation is expressed in Constructive Type Theory as a dependently typed monadic structure combining Kripke models and continuation passing style translations.  ...  Introduction Type directed partial evaluation (TDPE) is a technique that partially evaluates a program by first compiling it, and pre-computing known ("static") input data on the fly, and then decompiling  ... 
doi:10.4204/eptcs.127.6 fatcat:tk2mzcw2gjgzdgbflr5ucn6ic4

Pragmatic Aspects of Type-Directed Partial Evaluation

Olivier Danvy
1996 BRICS Report Series  
Type-directed partial evaluation thus can be used to specialize a compiled, closed program, given its type.  ...  Type-directed partial evaluation stems from the residualization of static values in dynamic contexts, given their type and the type of their free variables.  ...  Type-directed partial evaluation Type-directed partial evaluation stems from the desire to residualize arbitrary static values in dynamic contexts.  ... 
doi:10.7146/brics.v3i15.19977 fatcat:jxk52gwq5velnmrqqdtu25peoa

A Semantic Account of Type-Directed Partial Evaluation [chapter]

Andrzej Filinski
1999 Lecture Notes in Computer Science  
For simplicity, the results are stated for a nonstrict, purely functional language; but the methods are directly applicable to stating and proving correctness of type-directed partial evaluation in ML-like  ...  We formally characterize partial evaluation of functional programs as a normalization problem in an equational theory, and derive a type-based normalization-by-evaluation algorithm for computing normal  ...  A Normalization-by-Evaluation Algorithm We now present Type-Directed Partial Evaluation (TDPE), an efficient algorithm for computing static normal forms.  ... 
doi:10.1007/10704567_23 fatcat:no4f3dwbrbddrhnypccp5bcstq

The Second Futamura Projection for Type-Directed Partial Evaluation

Bernd Grobauer, Zhe Yang
2000 BRICS Report Series  
We derive an ML implementation of the second Futamura projection for Type-Directed Partial Evaluation (TDPE).  ...  Due to the differences between 'traditional', syntax-directed partial evaluation and TDPE, this derivation involves several conceptual and technical steps.  ...  Type-directed partial evaluation In a suitable setting partial evaluation can be carried out by normalization.  ... 
doi:10.7146/brics.v7i44.20211 fatcat:mktkfflbubb57ddqozs2ggcdiq

The Second Futamura Projection for Type-Directed Partial Evaluation

Bernd Grobauer, Zhe Yang
1999 BRICS Report Series  
<br />We derive an ML implementation of the second Futamura projection<br /> for Type-Directed Partial Evaluation (TDPE).  ...  Due to the differences<br /> between 'traditional', syntax-directed partial evaluation and<br />TDPE, this derivation involves several conceptual and technical steps.  ...  Type-directed partial evaluation In a suitable setting partial evaluation can be carried out by normalization.  ... 
doi:10.7146/brics.v6i40.20109 fatcat:oeu633pblbbuzezfrki6e2stmy

The second Futamura projection for type-directed partial evaluation

Bernd Grobauer, Zhe Yang
1999 SIGPLAN notices  
We derive an ML implementation of the second Futamura projection for Type-Directed Partial Evaluation (TDPE).  ...  Due to the differences between 'traditional', syntax-directed partial evaluation and TDPE, this derivation involves several conceptual and technical steps.  ...  Type-directed partial evaluation In a suitable setting partial evaluation can be carried out by normalization.  ... 
doi:10.1145/328691.328695 fatcat:7zi7nxhdurdsrkxe3r6ezokexe

A type-directed, on-line, partial evaluator for a polymorphic language

Tim Sheard
1997 Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '97  
This makes type-directed partial evaluation much more practically useful, and can easily be extended to work in languages with parameterized module systems. 4.  ...  Recently, Olivier Danvy introduced a new, simple method for implementing powerful partial evaluators, namely typedirected partial evaluation 9 .  ...  Type-directed partial evaluation achieves similar results, only in new and novel ways. Type directed partial evaluators can be implemented by rei cation.  ... 
doi:10.1145/258993.258999 dblp:conf/pepm/Sheard97 fatcat:ix3c6zhk7beetmqh5cngaqg5bq

The second Futamura projection for type-directed partial evaluation

Bernd Grobauer, Zhe Yang
1999 Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation - PEPM '00  
We derive an ML implementation of the second Futamura projection for Type-Directed Partial Evaluation (TDPE).  ...  Due to the differences between 'traditional', syntax-directed partial evaluation and TDPE, this derivation involves several conceptual and technical steps.  ...  Type-directed partial evaluation In a suitable setting partial evaluation can be carried out by normalization.  ... 
doi:10.1145/328690.328695 dblp:conf/pepm/GrobauerY00 fatcat:42v4ig7ktjaqnnisszs4ltg7lq
« Previous Showing results 1 — 15 out of 2,191,046 results