TYPE INFERENCE BY PROGRAM TRANSFORMATION AND PARTIAL EVALUATION

被引：0

|

作者：

FRUHWIRTH, TW

机构：

来源：

META-PROGRAMMING IN LOGIC PROGRAMMING | 1989年

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

收藏

页码：263 / 282

页数：20

相关论文

共 50 条

[1] Partial evaluation and program transformation day
Robert Glück
Yoshihiko Futamura
[J]. New Generation Computing, 2002, 20 (1) : 1 - 2
[2] Applying program transformation to type inference for a logic language
Kawaguchi, Y
Akama, K
Miyamoto, E
[J]. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 1998, E81D (11): : 1141 - 1147
[3] Partial Evaluation and Program Transformation Day -: Preface
Glück, R
Futamura, Y
[J]. NEW GENERATION COMPUTING, 2002, 20 (01) : 1 - 2
[4] The essence of program transformation by partial evaluation and driving
Jones, ND
[J]. PERSPECTIVES OF SYSTEM INFORMATICS, 2000, 1755 : 62 - 79
[5] TYPE INFERENCE WITH PARTIAL TYPES
THATTE, S
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1988, 317 : 615 - 629
[6] TYPE INFERENCE WITH PARTIAL TYPES
THATTE, SR
[J]. THEORETICAL COMPUTER SCIENCE, 1994, 124 (01) : 127 - 148
[7] PARTIAL EVALUATION WITH INFERENCE RULES
HASCOET, L
[J]. NEW GENERATION COMPUTING, 1988, 6 (2-3) : 187 - 209
[8] TYPE INFERENCE FOR PARTIAL TYPES IS DECIDABLE
OKEEFE, PM
WAND, M
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 582 : 408 - 417
[9] Lazy type inference and program analysis
Hankin, C
LeMetayer, D
[J]. SCIENCE OF COMPUTER PROGRAMMING, 1995, 25 (2-3) : 219 - 249
[10] PARTIAL EVALUATION AND PROGRAM DECOMPOSITION
BARZDIN, GY
BULONKOV, MA
[J]. PROGRAMMING AND COMPUTER SOFTWARE, 1990, 16 (01) : 1 - 10

← 1 2 3 4 5 →