Loading...
Please wait, while we are loading the content...
Similar Documents
Structured microprogramming
| Content Provider | ACM Digital Library |
|---|---|
| Author | McFarland, Clay |
| 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. |
| Starting Page | 28 |
| Ending Page | 32 |
| Page Count | 5 |
| DOI | 10.1145/800150.808832 |
| Language | English |
| Publisher | Association for Computing Machinery (ACM) |
| Publisher Date | 1974-01-01 |
| Publisher Place | New York |
| Access Restriction | Subscribed |
| Content Type | Text |
| Resource Type | Article |
