Some Aspects of High-Level Microprogramming

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	ABRA78	Harvey Abramson , Mark Fox , J. Peck , V. Manis , M. Gorlick, The Pica-B Computer, University of British Columbia, Vancouver, BC, Canada, 1979
	AGER76	AGERWALA, T. "Microprogram optimization: A survey," IEEE Trans. Comput. C-25, 10 (Oct. 1976), 962-973.
	AGRA76	AGRAWALA, A. K., AND RAUSCHER, T. G. Foundations of microprogramming, Academic Press, New York, 1976.
	ALLE72	ALLEN, F. E., AND COCKE, J. "A catalogue of optimizing transformations," in The design and optimization of compilers, R. Rustin, Ed., Prentice-Hall, Engtewood Cliffs, N.J., 1972.
	AMDA64	AMDAHL, G. M., BLAAUW, G. A., AND BROOKS, F.P. "Architecture of the IBM System/360," IBM J. Res. Devel. (April 1964), 87-101.
	ARBI79	ARmB, M. A., AND ALACIC, S. "Proof rules for GOTO's," Acta Informatica 11 (1979), 139-148.
	BARB79	BARBACCI, M.R. "Instruction set processor specifications (ISPS): The notation and its applications," Dept. of Computer Science, Carnegie-Mellon Univ., Pitts, burgh, Pa., March 1979.
	BARR73	BARR, R. G., BECKER, J. A., LIDINSKY, W. P., AND TANTILLO "A research oriented dynamic microprocessor," IEEE Trans. Comput. C-22, 11 (Nov. 1973), 976-985.
	BELL71	BELL, C. G., AND NEWELL, A. Computer structures, McGraw-Hill, New York, 1971.
	BORG78	BORGERSEN, B. R .... TJADEN, G. S., AND HANSON, M.L. "Mainframe implemen- .tation with off-the-shelf LSI modules," Cbmputer 11, 7 (July 1978), 42-48. ~
	BRIN77	Per Brinch Hansen, The Architecture of Concurrent Programs, Prentice Hall PTR, Upper Saddle River, NJ, 1977
	CART78	CAJgTER, W. C., 3OYSF~, W. H., Am) BItaND, D. '~croprogram verification considered necessary," in Proc. Nat. Cornput. Conf., AFIPS Press, Arlington, Va., 1978, pp. 657-664.
	CHAM79	CHAMPINE, G. A. "Current trends in data base systems," Computer (May 1979), 27-40.
	DAHL70	Ole-Johan Dahl, SIMULA 67 common base language, (Norwegian Computing Center. Publication), 1968
	DASG76	DASGUPTA, S., ANY TARTAR, J. "The identification of maximal parallelism in straight line microprograms," IEEE Trans. Comput. C-2~, 10 (Oct. 1976), 986- 992.
	DASG77	DASGUPTA, S. "Parallelism in loop free microprograms," in Information Process. ing 77 (Proc. IFIP Cortgress 1977), B. Gilchrist, Ed., North-Holland, Amsterdam, 1977.
	DASG78	Subrata Dasgupta, Towards a microprogramming language schema, Proceedings of the 11th annual workshop on Microprogramming, p.144-153, November 19-22, 1978, Pacific Grove, California, United States
	DASG79	Subrata Dasgupta, The Organization of Microprogram Stores, ACM Computing Surveys (CSUR), v.11 n.1, p.39-65, March 1979 [doi>10.1145/356757.356761]
	DASG80	DASGUPTA, S. "Some implications of programming methodology for microprogrmmning language design," in Proc. IFIP TC-IO Conf. Microprogramming, Firm. ware and Restructurable Hardware, G. Chroust and J. Mulbacher, Eds., North- ~ Holland, Amsterdam~ 1980.
	DEWI76a	David Johns Dewitt, A machine independent approach to the production of optimized horizontal microcode., 1976
	DEWI76b	David J. DeWitt, Extensibility - a new approach for designing machine independent microprogramming languages, Proceedings of the 9th annual workshop on Microprogramming, p.33-41, September 27-29, 1976, New Orleans, Louisiana, United States [doi>10.1145/800145.804783]
	DIJK76	Edsger Wybe Dijkstra, A Discipline of Programming, Prentice Hall PTR, Upper Saddle River, NJ, 1997
	ECKH71	ECKHOUSR, R.H. "A high-level microprogramming language (MPL)," Ph.D. dissertation, Dept. of Computer Science, State University of New York at Buffalo, 1971.
	FRIE77	Gideon Frieder , Jill Miller, An analysis of code density for the two level programmable control of the Nanodata QM-1, Proceedings of the 10th annual workshop on Microprogramming, p.26-32, October 05-07, 1977, Niagara Falls, New York, United States
	FULL77a	FULLER, S. H., STONE, H. S., AND BURS, W.E. '~initial selection and screening of the CFA candidate computer architectures," in Pro~. Nat. Computer Conf., AF?IPS Press, Arlington, Va., 1977, pp. 139-146.
	FULL77b	FULLER, S. H., SHAMAN, P., LAMS, D., AND BURR, W.E. '~Evaluation of computer architectures via test programs," in Proc. Nat. Computer Conf., AFIPS Press, Arlington, Va., 1977, pp. 147-160.
	GRIE76	GRxP.s, D.G. "An illustration of current ideas on the derivation of correctness proofs and correct programs," IEEE Trans. Soflw. Eng. SE-2 (Dec. 1976), 238- 244.
	HALS77	Maurice H. Halstead, Elements of Software Science (Operating and programming systems series), Elsevier Science Inc., New York, NY, 1977
	HART76	HAR~N, A. "A concurrent Pascal compiler for minicomputers," in Lecture notes in computer science, Springer-Verlag, New York, 1976.
	HOAR69	C. A. R. Hoare, An axiomatic basis for computer programming, Communications of the ACM, v.12 n.10, p.576-580, Oct. 1969 [doi>10.1145/363235.363259]
	HOAR72	HOAP.E, C. A.R. "Towards a theory of parallel programming," in Operations sys. tems techniques, C. A. R. Hoare and R. H. Perrot, Eds., Academic Press, New "York, 1972.
	HOAR73	HOARE, C. A. R., AND WIRTH, N. "An axiomatic definition of the programming language PASCAL," Acta Informatica 2 (1973), 335-355.
	HOAR78	C. A. R. Hoare, Communicating sequential processes, Communications of the ACM, v.21 n.8, p.666-677, Aug. 1978 [doi>10.1145/359576.359585]
	HORN74	Hoxtstse, J. J., LAUER, H. C., MELLIAR- SMITH, P. M., AND RANDELL, B. "A program structure for error detection and recovery," in Lecture notes in computer science, Springer-Verlag, New York, 1976, pp. 177-193.
	HUSS70	HussoN, S. S. Microprogramming: Principles and practices, Prentice.Hall, Englewood Cliffs, N.J., 1970.
	INTE75	INTEL CORPORATION Intel 8080 microcomputer system manual, Santa Clara, Calif., Jan. 1975.
	JENS75	K Jensen , N Wirth , A B Mickel , J F Miner, Pascal user manual and report; 3rd ed., Springer-Verlag New York, Inc., New York, NY, 1985
	JOHA78	Dave Johannsen, Our machine, a microcoded LSI processor, Proceedings of the 11th annual workshop on Microprogramming, p.1-7, November 19-22, 1978, Pacific Grove, California, United States
	KLEI71	KLEIR, R. L., AND RAMAMOORTHY, C. V. "Optimization strategies for microprograms," IEEE Trans. Comput. C-20, 7 (July 1971), 783-795.
	KNUT74	Donald E. Knuth, Structured Programming with go to Statements, ACM Computing Surveys (CSUR), v.6 n.4, p.261-301, Dec. 1974 [doi>10.1145/356635.356640]
	LEWIS79	LEwis, T. G., MALIK, K., AND ~/iA, P. Y. "Firmware engineering using a high level microprogramming system to implement virtual instruction set processors," Dept. of Computer Science, Oregon State Univ., Corvallis, 1979.
	LIPO78	LIPOVSKY, J., AND DOTY, K.L. "Developments and directions in computer architecture," Computer 11, 8 (Aug. 1978), 54-67.
	LISK72	Barbara H. Liskov, The design of the Venus operating system, Communications of the ACM, v.15 n.3, p.144-149, March 1972 [doi>10.1145/361268.361272]
	MA79	MA, P. Y., AND LEWIS, T.G. "A portable efficient microprogramming system for emulator development," Dept. of Computer Science, Oregon State Univ., Corvallis, 1979.
	MALI78	Kamran Malik , Ted Lewis, Design objectives for high level microprogramming languages, Proceedings of the 11th annual workshop on Microprogramming, p.154-160, November 19-22, 1978, Pacific Grove, California, United States
	MALL75	MALLETT, P. W., AND LEWIS, T. G. "Considerations for implementing a highlevel macroprogramming language translation system," Computer 8, 8 (Aug. 1975), 40-52.
	MICR70	MICRODATA CORPORATION Microprogramming handbook, 2nd ed., Santa Clara, Calif., 1970.
	MYER78	Glenford J. Myers, Advances in Computer Architecture, John Wiley & Sons, Inc., New York, NY, 1982
	NANO74	NANODATA CORPORATION QM-1 hardware level user's manual, 2nd ed., Williamsville, N.Y., 1974.
	ORGA78	Elliott Irving Organick, Interpreting machines: Architecture and programming of the B1700/B1800 series (Operating and programming systems series), North-Holland, 1978
	PARN75	D. L. Parnas , D. P. Siewiorek, Use of the concept of transparency in the design of hierarchically structured systems, Communications of the ACM, v.18 n.7, p.401-408, July 1975 [doi>10.1145/360881.360913]
	PATT76	PATTERSON, D. A. "STRUM: Structured programming system for correct firmware." IEEE Trans. Comput. C-25, 10 (Oct. 1976), 974-985.
	PATT77	PATTERSON, D.A. "Verification of microprograms," Tech. Rep. UCLA-ENG- 7707, Computer Science Dept., Univ. California at Los Angeles, Jan. 1977.
	PATT78	PATTERSON, D. A. "An approach to firmware engineering," in Proc. Nat. Computer Conf., AFIPS Press, Arlington, Va., June 1978, pp. 643-674.
	PATT79	PATTERSON, D. A. "An experiment in high level language microprogramming and verification," unpublished manuscript, Dept. of Electrical Engineering and Computer Science, Univ. California, Berkeley, 1979.
	RAMA74	RAMAMOORTHY, C. V., AND TSUCHIYA, M. "A high-level language for horizontal microprogramming," IEEE Trans. Comput. C-23, 8 (Aug. 1974), 791-801.
	RAUS73	Tomlinson G. Rauscher , Ashok K. Agrawala, On the syntax and semantics of horizontal microprogramming languages, Proceedings of the annual conference, p.52-56, August 27-29, 1973, Atlanta, Georgia, United States [doi>10.1145/800192.805680]
	REDD76	S. S. Reddi , E. A. Feustel, A Conceptual Framework for Computer Architecture, ACM Computing Surveys (CSUR), v.8 n.2, p.277-300, June 1976 [doi>10.1145/356669.356673]
	RICH74	RICHARDS, M. "Bootstrapping the BCPL compiler using INTCODE," in Machine oriented higher level languages, W. L. Van der Poel and L. Maarsen, Eds., North-Holland, Amsterdam, 1974, pp. 265-270.
	RIEG72	RIEGEL, E. W., FABER, U., AND FISHER, D. A. "The interpreter--A microprogrammable building block system," in Proc. Spring Joint Computer Conf., AFIPS Press, Arlington, Va., 1972. pp. 705-723.
	ROSI72	Robert F. Rosin , Gideon Frieder , Richard H. Eckhouse, Jr., An environment for research in microprogramming and emulation, Communications of the ACM, v.15 n.8, p.748-760, Aug. 1972 [doi>10.1145/361532.361550]
	SALI76	Alan B. Salisbury, Microprogrammable Computer Architectures, Elsevier Science Inc., New York, NY, 1976
	SIMO68	Herbert A. Simon, The sciences of the artificial (3rd ed.), MIT Press, Cambridge, MA, 1996
	SIMO73	SIMOn, H.A. "The organization of complex systems," in Hierarchy theory: The challenge of complex systems, H. H. Pattee, Ed., George Braziller, New York, 1973.
	STRI78	Skip Stritter , Nick Tredennick, Microprogrammed implementation of a single chip microprocessor, Proceedings of the 11th annual workshop on Microprogramming, p.8-16, November 19-22, 1978, Pacific Grove, California, United States
	TOKO77	Mario Tokoro , Eiji Tamura , Kazuhiko Takase , Kiichiro Tamaru, An approach to microprogram optimization considering resource occupancy and instruction formats, Proceedings of the 10th annual workshop on Microprogramming, p.92-108, October 05-07, 1977, Niagara Falls, New York, United States
	TSUC76	TSUCHIYA, M., AND GONZALEZ, M. J., JR. "Towards optimization of horizontal microprograms," IEEE Trans. Comput. C- 25, 10 {Oct. 1976), 992-999.
	VARI75	VARIAN DATA MACHINES Varian microprogramming guide, Irvine, Calif., 1975.
	WILK75	M. V. Wilkes, Time Sharing Computer Systems, Elsevier Science Inc., New York, NY, 1975
	WOOD78	Graham Wood, On the packing of micro-operations into micro-instruction words, Proceedings of the 11th annual workshop on Microprogramming, p.51-55, November 19-22, 1978, Pacific Grove, California, United States