Abstract
TAPE, a Typed Applicative Programming Environment, is a system that facilitates the prototyping and development of software. By supporting a family of related languages at different levels, TAPE allows programmers to address the various problems of software development at an appropriate level of abstraction. The highest level supported by TAPE is an applicative language with automatic type inference and representation selection, used primarily for prototyping. During program development, a programmer can interact with the system, refining its typing decisions and selecting appropriate representations and optimizations.
The research described in this paper was funded by the Natural Sciences and Engineering Research Council, le Fonds Formation de chercheurs et action concertee, and Concordia University.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Ashcroft, E.A., and Wadge, W.W.: R for semantics. ACM Transactions on Programming Languages and Systems, 4, 283–294 (1982)
Backus, J.: Can programming be liberated from the von Neumann Style? A functional style and its algebra of programs. Comm. ACM, 21, 613–641 (1978)
Bauer, F., et al: Description of the Wide Spectrum Language CIP-L. Institut fur Informatik, Technische Universität München, 1983.
Bürge, W.H.: Recursive Programming Techniques. Reading, Mass.î Addison-Wesley 1975
Burstall, R.M., MacQueen, D.B., and Sannella, D.T.: HOPE: An experimental applicative language. Conference Record of the 1980 LISP Conference, pp. 136–143, The LISP Conference 1980
Demers, A.J., and Donahue, J.E.: ‘Type-completeness’ as a language principle. Seventh Symposium on the principles of Programming Languages, pp. 234–244, ACM 1980
Dewar, R.B.K., Schonberg, E., and Schwartz, J.T.: Higher level programming: Introduction to the use of the set theoretic programming language SETL. Courant Institute of Mathematical Sciences, New York University, 1981
Gomaa, H., and Scott, D.B.H.: Prototyping as a tool in the specification of user requirements. Proc. 5th International Conference on Software Engineering, pp. 333–342, IEEE 1981
Gordon, M., Milner R., Morris, L., Newey M., and Wadsworth, C.: A metalanguage for interactive proof in LCF. Fifth Symposium on the Principles of Programming Languages, pp. 119–130, ACM 1978
Grogono, P., and Alagar, V.S.: Combining type inference and generic functions. In preparation.
Meertens, L.: Issues in the design of a beginner’s programming language. In: Algorithmic Languages ( J.W. de Bakker and J.C. van Vliet, eds.), Amsterdam-New York-Oxford: North-Holland 1981
Milner, R.: A theory of type polymorphism in programming. JCSS, 17, 348–375 (1978)
Mycroft, A.: The theory and practice of transforming call-by-need into call-by-value. In: International Symposium on Programming (B. Robinet, ed.), Lecture Notes in Computer Science, Vol. 83, pp. 269–281. Berlin-Heidelberg-New York: Springer 1980
Rain, M.: MARY/2 Reference Manual. Penobscot Research Center, Deer Isle, Maine, 1980
Robinson, J.A.: A machine-oriented logic based on the resolution principle. J. ACM., 12, 23–41 (1965)
Sandewall, E.: Programming in the interactive environment: the LISP experience. ACM Comp. Surv., 10, 1, 35–71, (1978)
Squires, S.L. (Chmn.): Working Papers from the ACM SIGSOFT Rapid Prototyping Workshop. ACM Software Engineering Notes, 7, (1982)
Turner D.A.: Programming with infinite data structures. Conference on LISP and Functional Programming, (invited talk), ACM 1982
Voda P.J.: Maple: A programming language and operating system. Ninth Symposium on the Principles of Programming Languages, pp. 157–168, ACM 1982
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1984 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Grogono, P., Alagar, V.S. (1984). An Environment for High-level Program Development. In: Ammann, U. (eds) Programmiersprachen und Programmentwicklung. Informatik-Fachberichte, vol 77. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-69393-9_10
Download citation
DOI: https://doi.org/10.1007/978-3-642-69393-9_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-12905-9
Online ISBN: 978-3-642-69393-9
eBook Packages: Springer Book Archive