. navigate
C. Sample RED Programs left arrow
right arrow E. Manual Index
Red Rationale



[AF77] Department of the Air Force, Military Standard JOVIAL (J73/1), MIL-STD-1589, February 1977.
[ALS78] Atkinson, R., Liskov, B.A., and Scheifler, R., Aspects of Implementing CLU," CSG Memo 167. M.I.T. Laboratory for Computer Science, October 1978.
[Br78] Brosgol, B. Informal Language Specification, RED, Intermetrics, Inc., February 1978.
[CII76] The System Implementation Language LIS -- Reference Manual. CII document reference 4549 E1/EN. January 1976.
[Di76] Dijkstra, E.W., A Discipline off Programming. Prentice-Hall, 1976.
[DNM69] Dahl, O.J., Nygaard, K., and Myhrhaug, B. The Simula 67 Common Base Language, Pub. S-22, Norwegian Computing Center, Oslo, 1969.
[FCDSSA75]     User's Reference Manual for CM-2 for Use with AN/UYK-7 Computer, M-5035, Vol. 2, Fleet Combat Direction Systems Support Activity, San Diego, California, August 1975.
[Go78] Goodenough, J. Language Specification, BLUE, SofTech, Inc., February 1978.
[Ha74] ECL Programmer's Manual, Center for Research in Computing Technology, Harvard University, Technical Report 23-74, December 1974.
[JW76] Jensen, K., and Wirth, N. PASCAL User Manual and Report, Springer-Verlag, New York, 1976.
[KBH78] Kieburtz, R.B., Barabash, W., and Hill, C.R., "A Type-Checking Program Linkage System for Pascal," Proc. 3rd International Conference on Software Engineering, p.27. May 10-12, 1978, Atlanta, Georgia.
[KL78] Knobe, B., and Lickly, D. Selection of a Systems Implementation Language for GE ISBD. Intermetrics, Inc., IR-250-1, January 1978.
[Kn78] Knuth, E.E. The Art of Computer Programming, Vol. 3, Sorting and Searching. Addison-Wesley, 1973.
[LHLMP76] Lampson, B.W., Horning, J.J., London, R.L., Mitchell, J.G., and Popek, G.J., "Report on the Programming Language Euclid," SIGPLAN Notices, Vol. 12, No. 2, February 1977.
[Li75] Litton Data Systems, Inc., TACPOL Reference Manual Programming Support System. Document USACSCS-TF-4-1, June 1975.
[LSA77] Liskov, B.A., Snyder, A., and Atkinson, R., "Abstraction Mechanisms in CLU", Communications of the ACM 20, 8, pp. 564-576, August 1977.
[Na60] Naur, P., et al., "Revised Report on the Algorithmic Language ALGOL 60", Communications of the ACM, March 1960.
[NRL77] SPL/I Language Reference Manual for Compiler Release 4.0, Revision A, NRL Technical Memorandum 5490-41:EF:vjs, 28 January 1977.
[Per70] Perstein, W. Scaling Fixed Intermediate Results of Arithmetic Computation with Incomplete Information. SDC report #SP 3403/000/00, March 1970.
[VWi75] Van Wijngaarden, A. et al., "Revised Report on the Algorithmic Language ALGOL 68," Acta Informatica, Vol. 5, Fasc. 1-3, 1975.
[Wa62] Warshall, S., "A Theorem on Boolean Matrices," Journal of the ACM, Vol. 9, No. 1, pp.11-12, 1962.
[Wi77] Wirth, N., "Modula: A Language for Modular Multiprogramming," Software Practice and Experience, Vol. 7, No. 1, pp. 3-35, January 1977.
[WLS76] Wulf, W.A., London, R.L., and Shaw, M., "Abstraction and Verification in Alphard: Introduction to Language and Methodology," University of Southern California, U.S.C. Information Sciences Institute Technical Report, Los Angeles, California, 1976.

C. Sample RED Programs left arrow
right arrow E. Manual Index



RED Reference
RED Rationale

Types in RED
Time/Life Computer Languages

Site Index

Overview             Reference ToC             Rationale ToC             Site Index

Home   Favorites   Map

IME logo Copyright © 2009, Mary S. Van Deusen