 |
DTIC ADA148730: Partial Evaluation as a Means of Language Extensibi... |
 |
by Defense Technical Information Center |
 |
Thumbnail |
|
Download |
 |
Web page |
|
|
|
An optimization technique known as partial evaluation is |
|
explored. A partial evaluator optimizes code by making |
|
use of static information about program values. Our |
|
partial evaluator is designed to optimize mainly |
|
applicative code. Un-checked assertions are used to |
|
identify applicative constructs in the input code and |
|
guide the partial evaluator. Side-effects in the input |
|
code are retained but are not optimized. This thesis is |
|
part of a larger project devoted to language |
|
extensibility. Source language constructs will be |
|
transformed into kernel language constructs by syntactic |
|
transforms. These transforms will add applicative code |
|
for type-checking, etc. To assess the effectiveness of |
|
the partial evaluator, some examples of kernel language |
|
programs are partially evaluated, and the results |
|
discussed. Originator-supplied keywords include: |
|
Programming Language Optimization, Implementation, and |
|
Extensibility; and Partial Evaluation. |
|
|
|
Date Published: 2018-01-27 02:23:59 |
|
Identifier: DTIC_ADA148730 |
|
Item Size: 72251129 |
|
Language: english |
|
Media Type: texts |
|
|
|
# Topics |
|
DTIC Archive; Schooler,R ; MASSACHUSE... |
|
|
|
# Collections |
|
dticarchive |
|
additional_collections |
|
|
|
# Uploaded by |
|
@chris85 |
|
|
|
# Similar Items |
|
View similar items |
|
|
|
PHAROS |
|
