PREDICATIVE PROGRAMMING .1.

被引：77

作者：

HEHNER, ECR ^{[1
]}

机构：

[1] UNIV TORONTO,DEPT COMP SCI,TORONTO M5S 1A4,ONTARIO,CANADA

来源：

关键词：

D O I：

10.1145/69610.357988

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：134 / 143

页数：10

共 50 条

[1] PREDICATIVE PROGRAMMING
LENGAUER, C
[J]. COMMUNICATIONS OF THE ACM, 1985, 28 (05) : 537 - 538
[2] PREDICATIVE PROGRAMMING REVISITED
BIBEL, W
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 215 : 25 - 40
[3] Quantum predicative programming
Tafliovich, Anya
Hehner, Eric C. R.
[J]. MATHEMATICS OF PROGRAM CONSTRUCTION, 2006, 4014 : 433 - 454
[4] Probabilistic predicative programming
Hehner, ECR
[J]. MATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS, 2004, 3125 : 169 - 185
[5] PREDICATIVE PROGRAMMING - PREFACE
BIBEL, W
[J]. NEW GENERATION COMPUTING, 1990, 8 (04) : 275 - 276
[6] PREDICATIVE PROGRAMMING - RESPONSE
HEHNER, ECR
[J]. COMMUNICATIONS OF THE ACM, 1985, 28 (05) : 536 - 537
[7] Predicative programming Part II
Hehner, Eric C. R.
[J]. Communications of the ACM, 1984, 27 (02) : 144 - 151
[8] FRAGMENT OF MODEL OF RUSSIAN SURFACE SYNTAX .1. PREDICATIVE SYNTAGMAS
IOMDIN, LL
MELCHUK, IA
PERTSOV, NV
[J]. NAUCHNO-TEKHNICHESKAYA INFORMATSIYA SERIYA 2-INFORMATSIONNYE PROTSESSY I SISTEMY, 1975, (07): : 30 - 43
[9] A PREDICATIVE MODEL FOR CERTAIN DIRECTED METALATIONS .1. APPLICATIONS TO THE BEHAVIOR OF ANISOLE
SLOCUM, DW
MOON, R
THOMPSON, J
COFFEY, DS
LI, JD
SLOCUM, MG
SIEGEL, A
GAYTONGARCIA, R
[J]. TETRAHEDRON LETTERS, 1994, 35 (03) : 385 - 388
[10] A PROGRAMMING PRIMER .1.
STARR, L
[J]. PERSONAL COMPUTING, 1982, 6 (03): : 62 - &