Abstract
The different stages of the prevailing software development model involve the use of software development tools and methods that are usually based on different paradigms. The mismatch between the different levels of this hierarchical process is often a source of difficulty and has led to an increasing interest in the holistic approach to software design and implementation. This approach requires all the levels to be based on the same principles. This paper describes how it was used in the design and implementation of a small programming system which incorporates a functional language, an optimiser and a syntax-directed editor. It also highlights the advantages of the holistic approach.
References
[1]
1. SOMMERVILLE I.: Software Engineering (Addison-Wesley 1996).
[2]
2. NICOL J.R.: 'Operating System Design: Towards a Holistic Approach?', SIGOPS Operating Systems Review, 1987, 21 (1).
[3]
3. LUGER G.F. and STUBBLEFIELD W.A,: 'Artificial Intelligence and the Design of Expert Systems' (Benjamin/Cummings, 1989).
[4]
4. MYERS G.J.: 'Advances in Computer Architecture' (John Wiley, 1981).
[5]
5. ZDONIK S.B. and D. MAIER D. (Eds): 'Readings in Object-oriented Database Systems' (Morgan Kaufman, 1990).
[6]
6. TRELEAVEN P.C., BROWNBRIDGE D. and HOPKINS R.: Data-driven and demand-driven computer architecture, Computer Surveys, 1982, 14(1).
[7]
7. GELERTNER D. and JAGANNATHAN S.: 'Programming Linguistics' (MIT Press, 1990).
[8]
8. BACKUS J.: 'Can programming be liberated from the von Neumann style? A functional style and its algebra of programs', CACM, 1978, 21(8), pp613-641.
[9]
9. HARLAND D.M.: 'REKURSIV, Object-oriented architecture' (Ellis-Horwood, 1988).
[10]
10. KARNE R.K, 'Object-oriented architecture for a new Generation of Applications', Computer Architecture News, 1995, 23(5), pp8-19.
[11]
11. COX D. et al.: 'A unified model and implementation for interprocess commumcation in a multiprocessor environement', SIGOPS Operating Systems Review, 1981, 15(5).
[12]
12. HOARE C.A.R.: 'Notes on Communicating Sequential Processes', PRG Technical Monograph PRG-33, (Oxford University Computing Laboratory, 1983).
[13]
13. THOMPSON S.: 'Functional Programming: Executable Specifications and Program Transformation', ACM SIGSOFT Engineering Notes, 1989, 14(3).
[14]
14. KOGGE P.M.: 'The architecture of symbolic computers', (McGraw-Hill, 1991).
[15]
15. LANDIN P.: 'The mechanical evaluation of expressions', The Computer Journal, 1964, 6, pp308-320.
[16]
16. DARLINGTON J. and REEVE M.:, 'ALICE: a multiprocessor reduction machine for the parallel evaluation of applicative language in Proc. Int. Symp. Functional programming languages and computers architecture.' (Göteborg Sweden, June 1981), pp32-62.
[17]
17. PEYTON-JONES S.L: 'The implementation of functional programming languages' (Prentice-Hall, 1987).
[18]
18. AHO A. V., SETHI R. and ULLMAN J.D.: 'Compilers: Principles, Tools and Techniques' (Addison-Wesley, 1986).
[19]
19. ALLEN J.: 'Anatomy of LISP' (McGraw-Hill, 1978).
[20]
20. TURNER D.A: 'A new Implementation Technique for Applicative Languages', Software Practice and Experience, 1979, 9(1).
Recommendations
A Transportable Programming Language (TPL) System. II. The Bifunctional Compiler System
The transportable programming language (TPL) method is a high-level-language approach that uses a bifunctional compiler to efficiently convert code among various dialects of a particular high-level language (HLL) via the hypothetical parent of the high-...
Systematically derived instruction sets for high-level language support
ACMSE '82: Proceedings of the 20th annual ACM Southeast Regional ConferenceConventional machine-languages (instruction sets) were not designed with high-level languages (HLLs) in mind. The resulting semantic gap is known to cause significant inefficiencies in program representation and execution time. Direct interpretation of ...
Comments
Information & Contributors
Information
Published In
Copyright © 1998 Author.
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 01 January 1998
Published in SIGSOFT Volume 23, Issue 1
Check for updates
Author Tags
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 225Total Downloads
- Downloads (Last 12 months)30
- Downloads (Last 6 weeks)10
Reflects downloads up to 14 Sep 2024
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in