Practical use of a polymorphic applicative language

ABSTRACT

Assembling a large system from its component elements is not a simple task. An adequate notation for specifying this task must reflect the system structure, accommodate many configurations of the system and many versions as it develops, and be a suitable input to the many tools that support software development. The language described here applies the ideas of λ-abstraction, hierarchical naming and type-checking to this problem. Some preliminary experience with its use is also given.

REFERENCES

• 1: Arra Avakian , Sam Haradhvala , Bruce Knobe, The design of an integrated support software system, Proceedings of the 1982 SIGPLAN symposium on Compiler construction, p.308-317, June 23-25, 1982, Boston, Massachusetts, United States
• 2: Lee Wendell Cooprider, The representation of families of software systems., 1978
• 3: Cristofor, E. et al., Source control + tools = stable systems. Proc. 4th Computer Software and Applications Conf., Oct., 1980, 527-532.
• 4: Alan J. Demers , James E. Donahue, Data types, parameters and type checking, Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.12-23, January 28-30, 1980, Las Vegas, Nevada [doi>10.1145/567446.567448]
• 5: DeRemer, F. and Kron, H, Programming-in-the-large versus programming-in-the-small. IEEETrans. Software Eng. SE-2, 2, June 1976, 80-86.
• 6: Deutsch, L. P. and Taft, E. A., Requirements for an Experimental Programming Environment.CSL-80-10, Xerox PARC, 1980.
• 7: Goldstein, I. P. and Bobrow, D. G., Descriptions for a programming environment. Proc. 1st Ann. Conf. Natl. Assoc. Artificial Intelligence, Stanford, Aug. 1980.
• 8: Habermann, A. N. et al., The Second Compendium of Gandalf Documentation. Computer Science Dept., CMU, May 1982.
• 9: Eric Harslem , LeRoy E. Nelson, A retrospective on the development of Star, Proceedings of the 6th international conference on Software engineering, p.377-383, September 13-16, 1982, Tokyo, Japan
• 10: Thomas R. Horsley , William C. Lynch, Pilot: A software engineering case study, Proceedings of the 4th international conference on Software engineering, p.94-99, September 17-19, 1979, Munich, Germany
• 11: Lampson, B. W. and Schmidt, E., Organizing software in a distributed environment. In preparation.
• 12: Hugh C. Lauer , Edwin H. Satterthwaite, The impact of mesa on system design, Proceedings of the 4th international conference on Software engineering, p.174-182, September 17-19, 1979, Munich, Germany
• 13: Mitchell, J. G. et al., Mesa language Manual.CSL-79-3, Xerox PARC, April 1979.
• 14: Nelson, B. J., Remote Procedure Call.CSL-81-9, Xerox PARC, May 1981.
• 15: Eric Emerson Schmidt, Controlling large software development in a distributed environment, 1982
• 16: Walter F. Tichy, Design, implementation, and evaluation of a Revision Control System, Proceedings of the 6th international conference on Software engineering, p.58-67, September 13-16, 1982, Tokyo, Japan