D. REFERENCES
[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.
|
|