Abstract
A
- 1 AGRAWALA, A.K. & RAUSCHER, J.G., Foundations of Microprogramming, Academic Press, N.Y., 1976.Google Scholar
- 2 BRINCH HANSEN, P., "The Programming Language Concurrent PASCAL", IEEE Trans. Software Engineering., 2, 2, June 1975.Google Scholar
- 3 BRINCH HANSEN, P., Operating System Principles, Prentice-Hall, Englewood-Cliffs, N.J., 1972. Google Scholar
Digital Library
- 4 DASGUPTA, S., Parallelism in Microprogramming Systems, Tech, Rept. TR76-7, Dept. of Computing Science, Univ. of Alberta, Edmonton, Alberta, Canada, Aug. 1976.Google Scholar
- 5 DASGUPTA, S., & TARTAR, J., The Identification of Maximal Parallelism in Straight Line Microprograms, IEEE Trans. Comput., C-25, 10, Oct. 1976, 986-992.Google Scholar
Digital Library
- 6 DASGUPTA, S., The Design of Some Language Constructs for Horizontal Microprogramming, Proc. 4th Annual Symposium on Computer Architecture, Silver Springs, MD., March, 1977. Google Scholar
Digital Library
- 7 DEWITT, D.J., A Machine Independent Approach to the Production of Optimized Horizontal Microcode, Tech. Rept. 76 DT4, Aug. 1976, Grad. School of Bus. Admin., University of Michigan, Ann Arbor.Google Scholar
- 8 DIJKSTRA, E.W., A Discipline of Programming, Prentice-Hall, Englewood-Cliffs, N.J., 1976. Google Scholar
Digital Library
- 9 ECKHOUSE, R.H. Jr., A High-Level Micro-programming Language (MPL), Proc. Spring Jt. Comp. Conf., 1971, 169-177.Google Scholar
- 10 HOARE, C.A.R., An Axiomatic Basis of Computer Programming, Comm. ACM, 12, 10, (Oct. 1969), 576-583. Google Scholar
Digital Library
- 11 JENSEN, K., & WIRTH, N., PASCAL User Manual and Report (2nd Edition), Springer-Verlag, N.Y., 1975. Google Scholar
Digital Library
- 12 KNUTH, D.E., "Structured Programming with go to Statements", ACM Computing Surveys, 5, 4 (Dec. 1974), 261-301. Google Scholar
Digital Library
- 13 OWICKI, S. & GRIES, D.G., An Axiomatic Proof Technique for Parallel Programs I, Acta Informatica, 6, 1976, 319-340.Google Scholar
Digital Library
- 14 PATTERSON, D.A., Strum: Structured Micro-program Development System for Correct Firmware, IEEE Trans. Comput., C-25, 10 (Oct. 1976), 974-985.Google Scholar
- 15 RAMAMOORTHY, C.V., & TSUCHIYA, M., A High-Level Language for Horizontal Microprogramming, IEEE Trans. Comput., C-23, 8, (Aug. 1974), 791-801.Google Scholar
Digital Library
- 16 SAMMET, J., Programming Languages: History and Fundamentals, Prentice-Hall, N.J., 1969. Google Scholar
Digital Library
- 17 WIRTH, N., Systematic Programming, Prentice-Hall, N.J., 1973. Google Scholar
Digital Library
- 18 WIRTH, N., "Varian Microprogramming Guide", Varian Data Machines, Irvine, CA, 1975.Google Scholar
Index Terms
Towards a microprogramming language schema
Recommendations
Towards a microprogramming language schema
MICRO 11: Proceedings of the 11th annual workshop on MicroprogrammingA microprogramming language schema S denotes a language whose semantics is partially defined. A particular language S(M1), corresponding to some specific microprogrammable host machine M1, is obtained when S's semantics is completed using the properties ...
The Datasaab FCPU microprogramming language
This paper describes the high level microprogramming language (ML) used in microprogramming the FCPU (Flexible Central Processing Unit) developed by the Datasaab sector of Saab-Scania AB. The background of the use of machine dependent high level ...
The Datasaab FCPU microprogramming language
Proceedings of the meeting on SIGPLAN/SIGMICRO interfaceThis paper describes the high level microprogramming language (ML) used in microprogramming the FCPU (Flexible Central Processing Unit) developed by the Datasaab sector of Saab-Scania AB. The background of the use of machine dependent high level ...






Comments