SIMPLE: A program development system

Computer Languages - Tập 5 - Trang 103-114 - 1980
Augusto Celentano1, Pierluigi Della Vigna1, Carlo Ghezzi1, Dino Mandrioli1
1Istituto di Electtrotecnica ed Elettronica, Politecnico di Milano, Piazza L. da Vinci 32, 20133 Milano, Italy

Tài liệu tham khảo

Bobrow, 1972, Requirements of advanced programming systems for list processing, BBN Report No 2339 Cheatham, 1977, Some new directions in software development tools, 77, 3 Wegbreit, 1971, The ECL programming system, 39, 253 Winograd, 1975, Breaking the complexity barrier again, SIGPLAN Notices, 10, 1, 10.1145/951787.951764 Fisher, 1978, DoD's common programming language effort, Computer, 11, 26, 10.1109/C-M.1978.218092 Liskov, 1977, Abstraction mechanism in CIU, Comm. ACM, 20, 566, 10.1145/359763.359789 Popek, 1977, Notes on the design of Euclid, 12, 11 Wulf, 1976, An introduction to the construction and verification of Alphard programs, IEEE Trans. on Software Engineering, 2, 253, 10.1109/TSE.1976.233830 Kieburtz, 1978, A type-checking program linkage system for Pascal, 23 Schwartz, 1978, Parallel compilation: a design and its application to SIMULA 67, J. Comput. Lang., 3, 1 Tennent, 1977, On a new approach to representation independent data classes, Acta Inform., 8, 315, 10.1007/BF00271340 Wirth, 1975, Pascal-S: a subset and its implementation Celentano, 1979, SIMPLE: A system for interactive creation, execution and validation of Pascal programs Ghezzi, 1979, Incremental parsing, ACM Trans. on Programming Languages and Systems, 1, 58, 10.1145/357062.357066 Celentano, 1978, Incremental LR parsing, Acta Inform., 10, 307, 10.1007/BF00265676 Celentano, 1978, Modularization of block structured languages: the case of Pascal