CLU reference manual
Logic for problem-solving
Programming in Prolog
A Transformation System for Developing Recursive Programs
Journal of the ACM (JACM)
The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
The Smalltalk-76 programming system design and implementation
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Computing in Systems Described by Equations
Computing in Systems Described by Equations
Algebraic Denotational Semantics Using Parameterized Abstract Modules
Proceedings of the International Colloquium on Formalization of Programming Concepts
Programming as an evolutionary process
ICSE '76 Proceedings of the 2nd international conference on Software engineering
On the Transformational Implementation approach to programming
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Parameterized programming in OBJ2
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Algebraic specification of Macintosh's Quickdraw using OBJ2
ICSE '88 Proceedings of the 10th international conference on Software engineering
Stepwise refinement process with modularity
ICSE '89 Proceedings of the 11th international conference on Software engineering
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
FLOPS '02 Proceedings of the 6th International Symposium on Functional and Logic Programming
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Hi-index | 0.00 |
A hierarchical structuring method for functional software systems is described. This method is greatly influenced by the authors experiences in developing the experimental HIerarchical Software Processor (HISP) during the last four years. In this paper, however, the method is described in a general setting. This method appears to be applicable to a broad class of functional software systems. We first describe the words “functional” and “hierarchical”. Then the hierarchical structuring method is presented. Some applications of this method are also discussed. In particular, an example of transformational programming based on this structuring method is presented. The truncated syntax diagrams of the HISP language are also given as an appendix.