A LANGUAGE FOR VERIFIABLE MODULAR PROGRAMMING

被引：0

|

作者：

MALIK, MA

机构：

来源：

AUSTRALIAN COMPUTER JOURNAL | 1982年 / 14卷 / 04期

关键词：

D O I：

暂无

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

收藏

页码：137 / 142

页数：6

相关论文

共 50 条

[41] JALPA - A FUNCTIONAL MODULAR PROGRAMMING LANGUAGE WITH DYNAMIC OPTIMIZATION-BASED ON TERM GRAPH REWRITING
YAMANAKA, H
FUJITSU SCIENTIFIC & TECHNICAL JOURNAL, 1994, 30 (01): : 112 - 125
[42] EXPERIENCE WITH MODULAR CONCURRENT PROGRAMMING
HANSEN, B
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1977, 3 (02) : 156 - 159
[43] 32000 SUPPORT FOR MODULAR PROGRAMMING
HAUSMANN, G
ELECTRONIC ENGINEERING, 1987, 59 (721): : 29 - &
[44] SYSTEM SUPPORTS FOR MODULAR PROGRAMMING
YUASA, T
NAKAJIMA, R
LECTURE NOTES IN COMPUTER SCIENCE, 1983, 160 : 30 - 47
[45] Programming for modular reconfigurable robots
A. A. Gorbenko
V. Yu. Popov
Programming and Computer Software, 2012, 38 : 13 - 23
[46] Modular answer set programming
Oikarinen, Emilia
LOGIC PROGRAMMING, PROCEEDINGS, 2007, 4670 : 462 - 463
[47] Programming for modular reconfigurable robots
Gorbenko, A. A.
Popov, V. Yu.
PROGRAMMING AND COMPUTER SOFTWARE, 2012, 38 (01) : 13 - 23
[48] Modular Programming Still a Challenge
Just, Louis C.
Leaf, Gary K.
Toppel, Bert J.
COMMUNICATIONS OF THE ACM, 2009, 52 (12) : 6 - 6
[49] Modular Internet programming with cells
Rinat, R
Smith, S
ECOOP 2002 - OBJECT-ORIENTED PROGRAMMING, 2002, 2374 : 257 - 280
[50] IOTA - A MODULAR PROGRAMMING SYSTEM
YUASA, T
NAKAJIMA, R
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1985, 11 (02) : 179 - 187

← 1 2 3 4 5 →