LOGIC OF COMPUTER PROGRAMMING

被引：11

|

作者：

MANNA, Z

WALDINGER, R

机构：

来源：

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING | 1978年 / 4卷 / 03期

关键词：

D O I：

10.1109/TSE.1978.231499

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：199 / 229

页数：31

相关论文

共 50 条

[1] COMPUTER ALGEBRA AND LOGIC PROGRAMMING
CHAR, B
[J]. INTEGRATION-THE VLSI JOURNAL, 1986, 4 (03) : 271 - 274
[2] Logic, Programming, and Computer Science: Local Perspectives
De Mol, Liesbeth
[J]. IEEE ANNALS OF THE HISTORY OF COMPUTING, 2021, 43 (04) : 5 - 9
[3] A BRIDGE BETWEEN CONSTRUCTIVE LOGIC AND COMPUTER-PROGRAMMING
NEPEJVODA, NN
[J]. THEORETICAL COMPUTER SCIENCE, 1991, 90 (01) : 253 - 270
[4] AXIOMATIZING THE LOGIC OF COMPUTER-PROGRAMMING - GOLDBLATT,R
ELZANATI, A
[J]. TELECOMMUNICATION JOURNAL, 1983, 50 (06): : 328 - 328
[5] Theoretical computer science - Logic, semantics and theory of programming
Cerone, A
Di Pierro, A
[J]. THEORETICAL COMPUTER SCIENCE, 2005, 346 (01) : 1 - 2
[6] Logic programming and constraint logic programming
Cohen, J
[J]. ACM COMPUTING SURVEYS, 1996, 28 (01) : 257 - 259
[7] Programming in logic without logic programming
Kowalski, Robert
Sadri, Fariba
[J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2016, 16 : 269 - 295
[8] Theoretical computer science - Logic, semantics and theory of programming - Preface
Berger, U
Niggl, KH
Reus, B
[J]. THEORETICAL COMPUTER SCIENCE, 2001, 264 (02) : 169 - 169
[9] Theoretical Computer Science Logic, semantics and theory of programming Preface
Bethke, Inge
Ponse, Alban
Rodenburg, Piet H.
[J]. THEORETICAL COMPUTER SCIENCE, 2011, 412 (28) : 3033 - 3034
[10] AN EXPERIMENTAL COMPUTER ARCHITECTURE SUPPORTING EXPERT SYSTEMS AND LOGIC PROGRAMMING
DIEL, H
LENZ, N
WELSCH, HM
[J]. IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 1986, 30 (01) : 102 - 111

← 1 2 3 4 5 →