- 6
- 0
- 约2.53万字
- 约 13页
- 2017-05-08 发布于上海
- 举报
Tutorial on Online Partial Evaluation 英文论文文献
TutorialonOnlinePartialEvaluation
WilliamR.Cook
DepartmentofComputerScience,UniversityofTexasatAustin,USA
RalfL?mmel
DepartmentofComputerScience,UniversityofKoblenz-Landau,Germany
This paper is a short tutorial introduction to online partial evaluation. We show how to write a
simpleonlinepartialevaluatorforasimple,pure,?rst-order,functionalprogramminglanguage. In
particular, we show that the partial evaluator can be derived as a variation on a compositionally
de?nedinterpreter.Wedemonstratetheuseoftheresultingpartialevaluatorforprogramoptimization
inthecontextofmodel-drivendevelopment.
您可能关注的文档
- Tuberculosis associated with Mycobacterium tuberculosis Beijing and non-Beijing genotypes a clinical and immunological comparison 英文论文文献.doc
- Ttk69-dependent repression of lozenge prevents the ectopic development of R7 cells in the Drosophila larval eye disc 英文论文文献.doc
- Tuberculosis in UK cities workload and effectiveness of tuberculosis control programmes 英文论文文献.doc
- TSPY potentiates cell proliferation and tumorigenesis by promoting cell cycle progression in HeLa and NIH3T3 cells 英文论文文献.doc
- Tuberculosis infection among homeless persons and caregivers in a high-tuberculosis-prevalence area in Japan a cross-sectional study 英文论文文献.doc
- Tuberculosis patients' reasons for, and suggestions to address non-uptake of HIV testing a cross-sectional study in the Free State Province, South Africa 英文论文文献.doc
- Tuberculosis burden in an urban population a cross sectional tuberculosis survey from Guinea Bissau 英文论文文献.doc
- TTFields alone and in combination with chemotherapeutic agents effectively reduce the viability of MDR cell sub-lines that over-express ABC transporters 英文论文文献.doc
- Tuberculous dilated cardiomyopathy an under-recognized entity 英文论文文献.doc
- Tuberculosis recurrence in smear-positive patients cured under DOTS in southern Ethiopia retrospective cohort study 英文论文文献.doc
- 2026江西南昌市社会福利院招聘备考题库及答案详解(各地真题).docx
- 2026江苏常州仲裁委员会办公室招聘4人备考题库及一套答案详解.docx
- 2026江苏无锡交响乐团有限公司招聘12人备考题库及完整答案详解一套.docx
- 2026-2031货架行业市场深度调研及供需格局及有效策略与实施路径评估报告.docx
- 2026-2031加厚大衣行业市场深度调研及供需格局及有效策略与实施路径评估报告.docx
- 2026江苏淮安市盱眙县招聘教师39人备考题库及1套参考答案详解.docx
- 2026-2031加绒工装裤行业市场深度调研及供需格局及有效策略与实施路径评估报告.docx
- 2026江苏南通市崇川区卫生健康委员会所属部分事业单位(南通市口腔医院)长期招聘高层次人才2人备考题.docx
- 2026江苏苏州大学科研助理岗位招聘7人备考题库及完整答案详解.docx
- 2026江西吉安市井冈山市市政园林环卫所面向社会招聘1人备考题库及参考答案详解1套.docx
原创力文档

文档评论(0)