GENERATING EFFICIENT CODE FROM STRICTNESS ANNOTATIONS

被引：0

作者：

LINDSTROM, G

GEORGE, L

YEH, D

机构：

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1987年 / 250卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：140 / 154

页数：15

共 50 条

[1] GENERATING EFFICIENT CODE FROM CONTINUATION SEMANTICS
PETTERSSON, M
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 477 : 165 - 178
[2] Generating efficient protocol code from an abstract specification
Inst Natl de Recherche en, Informatique et Automatique, St. Martin, France
IEEE ACM Trans Networking, 4 (514-524):
[3] Generating efficient protocol code from an abstract specification
Castelluccia, C
Dabbous, W
OMalley, S
IEEE-ACM TRANSACTIONS ON NETWORKING, 1997, 5 (04) : 514 - 524
[4] GENERATING EFFICIENT CODE FROM DATA-FLOW PROGRAMS
HALBWACHS, N
RAYMOND, P
RATEL, C
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 528 : 207 - 218
[5] AUTOBAHN: Using Genetic Algorithms to Infer Strictness Annotations
Wang, Yisu Remy
Nunez, Diogenes
Fisher, Kathleen
ACM SIGPLAN NOTICES, 2016, 51 (12) : 114 - 126
[6] CODE ANNOTATIONS
Whitney, U. G.
IOWA LAW BULLETIN, 1921, 6 (02): : 89 - 95
[7] GENERATING FUNCTION VERSIONS WITH RATIONAL STRICTNESS PATTERNS
HALL, CV
WISE, DS
SCIENCE OF COMPUTER PROGRAMMING, 1989, 12 (01) : 39 - 74
[8] GENERATING EFFICIENT CODE FOR LAZY FUNCTIONAL LANGUAGES
SMETSERS, S
NOCKER, E
VANGRONINGEN, J
PLASMEIJER, R
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 523 : 592 - 617
[9] Generating Efficient FFT GPU Code with LIFT
Koepcke, Bastian
Steuwer, Michel
Gorlatch, Sergei
PROCEEDINGS OF THE 8TH ACM SIGPLAN INTERNATIONAL WORKSHOP ON FUNCTIONAL HIGH-PERFORMANCE AND NUMERICAL COMPUTING (FHPNC '19), 2019, : 1 - 13
[10] Improvement of RMI performance by generating efficient code
Maeda, K
ELECTRONICS AND COMMUNICATIONS IN JAPAN PART I-COMMUNICATIONS, 2003, 86 (10): : 79 - 88

← 1 2 3 4 5 →