FUNCTIONAL PROGRAMMING, FORMAL SPECIFICATION, AND RAPID PROTOTYPING

被引：34

作者：

HENDERSON, P

机构：

来源：

关键词：

D O I：

10.1109/TSE.1986.6312939

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：241 / 250

页数：10

共 27 条

[1]

[Anonymous], 1985, Communicating sequential processes

[2]

[Anonymous], 1985, Structure and Interpretation of Computer Programs

[3]

BACKUS J, 1985, LECTURE NOTES COMPUT, V185

[4]

Backus J. W., 1978, COMMUN ACM, V21

[5]

Bauer F.L., 1982, ALGORITHMIC LANGUAGE

[6]

Bjorner D., 1982, Formal Specification and Software Development

[7]

Darlington J., 1982, FUNCTIONAL PROGRAMMI

[8]

Dijkstra E.W, 1976, A discipline of programming

[9]

Dijkstra Edsger., 1982, SELECTED WRITINGS CO

[10]

FRIEDMAN DP, 1976, AUTOMATA LANGUAGES P