Abstract
This paper provides a source level description of a compiled microprogramming language for the Microprogrammed Control Unit (MCU) of the Signal Processing Element (AN/UYK-17), currently under development at the Naval Research Laboratory. Its present form is strictly that of a "paper" language; current research at Brown is directed toward the problems encountered in optimizing microcode for this (horizontal) machine. The structure and syntax of PUMPKIN is closely related to that of LSD - a Language for Systems Development which has been implemented at Brown [BE71, BE72, MA74]. The level (power, expressibility, distance from hardware capabilities) of PUMPKIN provides some hope that we may be able to generate usable code for the MCU - no machine independence goals exist for PUMPKIN. Some aspects of the design philosophy behind the language are contained in the paper "Design Considerations for Microprogramming Languages" [LL74], to be published in the 1974 NCC Proceedings.
- ANa73 Anagnostopoulos, P. C., et al, "Computer Architecture and Instruction Set Design", AFIPS, 73 NCC.]]Google Scholar
- ANb73 Anagnostopoulos, P. C. "Organizing Computer Systems for Learnability and Useability", MICRO6, Sept 73.]] Google Scholar
Digital Library
- ANC70 Anceau, F., "Application of the Language CASSANDRE to Microprogramming", Workshop on Microprogramming, Grenoble, 70.]]Google Scholar
- BA73 Barr, R. G., et al., "A Research Oriented Dynamic Microprocessor", IEEE Transactions on Computers, Nov 73.]]Google Scholar
- BE71 Bergeron, R. D., et al, "Language for Systems Development", SIGPLAN Notices, Oct 71.]] Google Scholar
Digital Library
- BE72 Bergeron, R. D., et al, "Systems Programming Languages - A Survey", Advances in Computers, Vol 12, 72.]]Google Scholar
- BL73 Blomberg, L. and Lawson, H., "The Datasaab FCPU Microprogramming Language", SIGMICRO/SIGPLAN Interface Meeting, May 73.]] Google Scholar
Digital Library
- BR73 Broadbent, J. K. and Coulouris, G. F., "MEMBERS- A Microprogrammed Experimental Machine with a Basic Executive for Real-Time Systems", SIGMICRO/SIGPLAN Interface Meeting, May 73.]] Google Scholar
Digital Library
- BRO73 Broca, F. R. and Merwin, R. E., "Direct Execution Of the Intermediate Text From a High-Level Language", SIGMICRO/SIGPLAN Interface Meeting, May 73.]] Google Scholar
Digital Library
- CH66 Cheatham, T. E., "The Introduction of Definitional Facilities into Higher Level Languages", AFIPS, 1966 FJCC.]]Google Scholar
- CH68 Cheatham, T. E., Fisher, A., and Jorrand, P., "On the Basis for ELF - An Extensible Language Facility", AFIPS, 68 FJCC.]]Google Scholar
- DI71 Dickman, B. N., "ETC - An Extendible Macro-Based Compiler", AFIPS, 71 FJCC.]]Google Scholar
- EC71 Eckhouse, "A High Level Microprogramming Language (MPL)", AFIPS, 71 SJCC.]]Google Scholar
- GA70 Galler, B. A. and Perlis, A. J., A View of Programming Languages, Addison-Wesley, 70.]] Google Scholar
Digital Library
- GO73 Gordon, R., Private Communication, Aug 73.]]Google Scholar
- HA73 Harrison, M. C., "Language Oriented Instruction Sets", SIGMICRO/SIGPLAN Interface Meeting, May 73.]] Google Scholar
Digital Library
- IR70 Irons, E. T., "Experience with an Extensible Language", CACM, Jan 70.]] Google Scholar
Digital Library
- LE66 Leavenworth, B. M., "Syntax Macros and Extended Translation", CACM, Nov. 66.]] Google Scholar
Digital Library
- LL73 Lloyd, G. R., et al, "MCU Microprogramming Language Study - Source Level Description", Brown University Technical Report, Contract N00014-67-A-0191-0027, Dec 73.]]Google Scholar
- LL74 Lloyd, G. R. and van Dam, A., "Design Considerations for Microprogramming Languages", AFIPS, 74 NCC.]]Google Scholar
- MA72 Magel, K. I, "Preliminary Overview of Extensions to Programming Languages", Brown Univ. Computing Review, Jun 72.]]Google Scholar
- MA73 Magel, K. I, "Extension Mechanisms in LSD", Brown Univ. Technical Report, Feb 73.]]Google Scholar
- MA74 Magel, K. I, et al, "Towards Machine Independent Systems Programming Languages", AFIPS NCC, 74.]]Google Scholar
- NAV70 Specifications for Digital Data Computer AN/UYK-7 (V), Naval Ship Systems Command, 0967-051-6291, Jan 70.]]Google Scholar
- NRLa73 AN/UYK-17 Signal Processing Element Architecture (Preliminary), Naval Research Laboratory, June 73.]]Google Scholar
- NRLb73 AN/UYK-17 Signal Processing Element Microcoding Software (Preliminary), Naval Research Laboratory, June 73.]]Google Scholar
- OE73 Oestreicher, D. R., "General Purpose Microprogramming Language", SIGMICRO/SIGPLAN Interface Meeting, May 73.]]Google Scholar
- PE67 Perlis, A. J. "The Synthesis of Algorithmic Systems", JACM, Jan 67.]] Google Scholar
Digital Library
- RA72 Rauscher, T. G., "On the Feasibility of Emulating the AN/UYK-7 Computer on the AADC Signal Processing Element", NRL Memo 2525, Nov. 72.]]Google Scholar
- RA73 Rauscher, T. G., "Towards a Specification of Syntax and Semantics for Languages for Horizontal Microprogrammed Machines", SIGMICRO/SIGPLAN Interface Meeting, May 73.]] Google Scholar
Digital Library
- RAM71 Ramamoorthy, C. V. and Kleir, R. L., "A Survey of Techniques for Optimizing Microprograms", MICRO3, Oct 70.]]Google Scholar
- RAM73 Ramamoorthy, C. V., Tabandeh, M. and Tsuchiya, M., "A Higher Level Language for Microprogramming", MICRO6, Sept 73.]] Google Scholar
Digital Library
- RE70 Reynolds, C., "GEDANKEN - A Simple Typeless Language Based on the Principle of Completeness and the Reference Concept", CACM, May 70.]] Google Scholar
Digital Library
- RO72 Roberts, J. D., et al, "Microprogrammed Control Unit (MCU) Programming Reference Manual", SIGMICRO Newsletter, Oct 72.]]Google Scholar
- SC73 Schneider, V. B. and Wade, B. W., "A General Purpose Language for Minicomputers", SIGMICRO/SIGPLAN Interface Meeting, May 73.]]Google Scholar
- SCH70 Schuman, S. and Jorrand, P., "Definition Mechanisms in Extensible Programming Languages", AFIPS, 70 SJCC.]]Google Scholar
- SCH71 Schuman, S. (ed) "Proceedings of the International Symposium on Extensible Languages", SIGPLAN Notices, Dec 71.]]Google Scholar
- SO71 Sointseff, N. and Yezersky, A., "A Survey of Extensible Programming Languages", MacMaster University, 71.]]Google Scholar
- ST73 Stabler, G. M., Carlbom, I. and Magel, K. I, "A Microprogrammed Satellite Graphics System", SIGMICRO/SIGPLAN Interface Meeting, May 73.]] Google Scholar
- TI73 Tirrell, A. K., "A Study of the Application of Compiler Techniques to the Generation of Microcode", SIGMICRO/SIGPLAN Interface Meeting, May 73.]] Google Scholar
Digital Library
- WE69 Wegbreit, B., "A Data Type Definition Facility", Harvard Univ., 69.]]Google Scholar
- WI68 Wirth, N., "PL360", JACM, Jan. 68.]]Google Scholar
Index Terms
(auto-classified)PUMPKIN: (another) microprogramming language
Recommendations
Layout-sensitive language extensibility with SugarHaskell
Haskell '12: Proceedings of the 2012 Haskell SymposiumProgrammers need convenient syntax to write elegant and concise programs. Consequently, the Haskell standard provides syntactic sugar for some scenarios (e.g., do notation for monadic code), authors of Haskell compilers provide syntactic sugar for more ...
Layout-sensitive language extensibility with SugarHaskell
Haskell '12Programmers need convenient syntax to write elegant and concise programs. Consequently, the Haskell standard provides syntactic sugar for some scenarios (e.g., do notation for monadic code), authors of Haskell compilers provide syntactic sugar for more ...
Cedalion: a language for language oriented programming
OOPSLA '11Language Oriented Programming (LOP) is a paradigm that puts domain specific programming languages (DSLs) at the center of the software development process. Currently, there are three main approaches to LOP: (1) the use of internal DSLs, implemented as ...






Comments