THE STRUCTURE OF A SELF-APPLICABLE PARTIAL EVALUATOR

被引：0

|

作者：

SESTOFT, P

机构：

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1986年 / 217卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：236 / 256

页数：21

相关论文

共 50 条

[21] The development of a partial evaluator for extended lambda calculus
A. A. Letichevsky
[J]. Cybernetics and Systems Analysis, 1997, 33 : 114 - 130
[22] The development of a partial evaluator for extended lambda calculus
Letichevsky, AA
[J]. CYBERNETICS AND SYSTEMS ANALYSIS, 1997, 33 (01) : 114 - 130
[23] PARTIAL EVALUATOR, AND ITS USE AS A PROGRAMMING TOOL
BECKMAN, L
HARALDSON, A
OSKARSSON, O
SANDEWALL, E
[J]. ARTIFICIAL INTELLIGENCE, 1976, 7 (04) : 319 - 357
[24] Mechanically verifying the correctness of an offline partial evaluator
Hatcliff, J
[J]. PROGRAMMING LANGUAGES: IMPLEMENTATIONS, LOGICS AND PROGRAMS, 1995, 982 : 279 - 298
[25] MIXTUS - AN AUTOMATIC PARTIAL EVALUATOR FOR FULL PROLOG
SAHLIN, D
[J]. NEW GENERATION COMPUTING, 1993, 12 (01) : 7 - 51
[26] (030) Hand Held, Self-Applicable Radio Frequency Device for the Treatment of Erectile Dysfunction. A Pilot Study with 6 Months Follow-Up
Gruenwald, I
Appel, B.
Shechter, A.
Greenstein, A.
Reisman, Y.
[J]. JOURNAL OF SEXUAL MEDICINE, 2024, 21
[27] Extending a partial evaluator which supports separate compilation
Heldal, R
Hughes, J
[J]. THEORETICAL COMPUTER SCIENCE, 2000, 248 (1-2) : 99 - 145
[28] A PARTIAL EVALUATOR FOR THE MARUTI HARD REAL-TIME SYSTEM
NIRKHE, V
PUGH, W
[J]. REAL-TIME SYSTEMS, 1993, 5 (01) : 13 - 30
[29] On Inequality Applicable to Partial Dynamic Equations
Pachpatte, Deepak B.
[J]. INTERNATIONAL JOURNAL OF DIFFERENTIAL EQUATIONS, 2014, 2014
[30] A practical partial evaluator for a multi-paradigm declarative language
Albert, E
Hanus, M
Vidal, G
[J]. FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS, 2001, 2024 : 326 - 342

← 1 2 3 4 5 →