• Complex
  • Title
  • Keyword
  • Abstract
  • Scholars
  • Journal
  • ISSN
  • Conference
搜索

Author:

廖湖声 (廖湖声.) (Scholars:廖湖声) | 高红雨 (高红雨.) | 王众 (王众.)

Indexed by:

CSCD

Abstract:

一、引言
在九十年代,部分求值(Partial Evaluation)作为一种新型的软件自动化技术,已经从实现技术的研究阶段逐步进入应用研究阶段.由于部分求值技术不同于传统的算法优化和编译优化技术,其应用有可能解决传统方法无法解决的程序优化问题,有效地缓和软件系统中常见的复杂性和执行效率的矛盾.本文介绍部分求值的基本原理,利用部分求值进行程序优化的方法,以及部分求值分类方法,以求推广这种新技术的研究与应用.

Keyword:

实现方法 原理 步进 软件自动化技术 分类方法 实现技术 求值技术 程序优化 新技术 应用研究 算法优化 优化问题 软件系统 矛盾 部分求值 执行效率 编译优化技术

Author Community:

  • [ 1 ] [廖湖声]北京工业大学
  • [ 2 ] [高红雨]北京工业大学
  • [ 3 ] [王众]北京工业大学

Reprint Author's Address:

Email:

Show more details

Related Keywords:

Related Article:

Source :

计算机科学

ISSN: 1002-137X

Year: 2002

Issue: z1

Volume: 29

Page: 87-89

Cited Count:

WoS CC Cited Count: 0

SCOPUS Cited Count:

ESI Highly Cited Papers on the List: 0 Unfold All

WanFang Cited Count: -1

Chinese Cited Count:

30 Days PV: 9

Online/Total:499/10489844
Address:BJUT Library(100 Pingleyuan,Chaoyang District,Beijing 100124, China Post Code:100124) Contact Us:010-67392185
Copyright:BJUT Library Technical Support:Beijing Aegean Software Co., Ltd.