On a solution to the cigarette smoker's problem (without conditional statements)
Communications of the ACM
A technique for software module specification with examples
Communications of the ACM
On the criteria to be used in decomposing systems into modules
Communications of the ACM
The nucleus of a multiprogramming system
Communications of the ACM
The structure of the “THE”-multiprogramming system
Communications of the ACM
Computer structures: Readings and examples (McGraw-Hill computer science series)
Computer structures: Readings and examples (McGraw-Hill computer science series)
Cooperating Sequential Processes, Technical Report EWD-123
Cooperating Sequential Processes, Technical Report EWD-123
System = program + users + law
ICAIL '87 Proceedings of the 1st international conference on Artificial intelligence and law
A uniform object model for parallel programming
OOPSLA/ECOOP '88 Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming
The Evolution Support Environment System
IEEE Transactions on Software Engineering
Computer
Inside risks: linguistic risks
Communications of the ACM
Some Aspects of High-Level Microprogramming
ACM Computing Surveys (CSUR)
Proof techniques for hierarchically structured programs
Communications of the ACM
Engineering processes in managing software system development
ACM SIGCPR Computer Personnel
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
DEVS Formalism: A Framework for Hierarchical Model Development
IEEE Transactions on Software Engineering
Early-Reply Components: Concurrent Execution with Sequential Reasoning
ICSR-7 Proceedings of the 7th International Conference on Software Reuse: Methods, Techniques, and Tools
Designing software for ease of extension and contraction
ICSE '78 Proceedings of the 3rd international conference on Software engineering
Specialization of SARA for software synthesis
Proceedings of the Symposium on Design Automation and Microprocessors
The semantics of graphical input
SIGGRAPH '79 Proceedings of the 6th annual conference on Computer graphics and interactive techniques
The design of some language constructs for horizontal microprogramming
ISCA '77 Proceedings of the 4th annual symposium on Computer architecture
On structuring operating systems with monitors
ACM SIGOPS Operating Systems Review
A generalized approach to interpretation machines
ACM SIGPLAN Notices
Abstracts in software engineering: part 2
ACM SIGSOFT Software Engineering Notes
VLDB '75 Proceedings of the 1st International Conference on Very Large Data Bases
The Types and Interactions of Vertical Migrations of Functions in a Multilevel Interpretive System
IEEE Transactions on Computers
Grammar-driven generation of domain-specific language debuggers
Software—Practice & Experience
| Hi-index | 48.25 |
This paper deals with the design of hierarchically structured programming systems. It develops a method for evaluating the cost of requiring programmers to work with an abstraction of a real machine. A number of examples from hardware and software are given as illustrations of the method.