Structured microprogramming
Pages 28 - 32
Abstract
Current practices in micro- programming and structured programming are examined. It is noted that micro- programming as defined by Rosin and structured programming as defined by Dijkstra are similar in that they are both methods for hiding the structure of unreasonable machines from users.
Some of the problems involved in achieving correctness proofs for programs that must run on current systems are discussed, and reliable total systems are proposed as an alternative immediate goal. Structured programming is defined in a broader sense, and used as the basis for a design methodology for“structured systems”. Some suggestions for methods of achieving structured systems are proposed.
References
[1]
Rosin, R.F. "The Significance of Microprogramming," SIGMICRO Newsletter, 4,4(January 1974),24-;39]]
[2]
Dijkstra, E.W. "Structured Programming," Software Engineering, Report on a conference sponsored by the NATO Science committee, Rome, Italy, (October 1969),84-;88]]
[3]
Dijkstra, E.W. "Notes on Structured Programming," Technical Report EWD-248, Technological University, Eindhoven, The Netherlands(April 1970)]]
[4]
Baker, F.T., "System Quality Through Structured Programming," Proc. FJCC, 1972,339-;343]]
[5]
Mills, H.D., "Chief Programmer Teams: Principles and Procedures," Technical Report FSC 71-;5108, IBM Federal Systems Division, Gaithersburq, Maryland.]]
[6]
Mills, H.D., "On the Development of Large Reliable Programs," IEEE Symposium on Computer Software Reliability, New York,(May 1973),155-;159]]
[7]
McFarland, C., "A Language-Oriented Computer Design," Proc. FJCC,1970, 629-;640]]
[8]
Dijkstra, E.W., "The Humble Programmer," Comm. ACM, 15, 10(October 1972),859-;866]]
Index Terms
- Structured microprogramming
Recommendations
Advanced structured COBOL programming
Special issue seventh technical symposium on computer science educationThere is a large market demand for COBOL programmers. Can a single introductory course in COBOL programming provide the students with sufficient professional expertise to qualify them for these job openings? If not, is it feasible to offer a second ...
Advanced structured COBOL programming
SIGCSE '77: Proceedings of the seventh SIGCSE technical symposium on Computer science educationThere is a large market demand for COBOL programmers. Can a single introductory course in COBOL programming provide the students with sufficient professional expertise to qualify them for these job openings? If not, is it feasible to offer a second ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
January 1974
47 pages
ISBN:9781450374545
DOI:10.1145/800150
Copyright © 1974 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 01 January 1974
Check for updates
Qualifiers
- Article
Acceptance Rates
Overall Acceptance Rate 484 of 2,242 submissions, 22%
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 16 Nov 2024
Other Metrics
Citations
View Options
View options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in