Abstract
The ALICE project being conducted in the Department of Computing at Imperial College is aimed at developing a complete programming environment based around the use of declarative languages. All levels of such an environment are being considered ranging from the use of declarative languages for specification purposes to the construction of a highly parallel graph reduction machine (ALICE, Applicative Language Idealised Computing Engine, herself) from specialised VLSI components, Darlington et al [1981], The heart of the program development system will be a meta-language transformation system and the long term goal is to make all program development formally based and completely machine checked. In this paper we briefly introduce the types of transformation and transformation system being developed and how they relate to the overall ALICE project.
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
Burstall R. M., MacQueen D. B. and Sanella D.T. [ 1980 ]. HOPE: an experimental applicative language, Proc. LISP and Functional Language Conference, Stanford.
Burstall R. M. and Darlington J. C. [ 1977 ]. A transformation system for developing recursive programs. JACM Vo. 24, No. 1, pp. 44–67.
Clark K. L. and Gregory S. [ 1981 ]. A relational language for parallel processing. Proc. ACM/MIT Conference on Functional Languages and Computer Architecture. Portsmouth, New Hampshire.
Darlington J. [ 1981 ]. The structured description of algorithm derivations. Invited paper Amsterdam symposium on algorithmic languages. North Holland.
Darlington J. and Reeve M. J. [ 1981 ]. ALICE: a multiprocessor reduction machine for the parallel evaluation of applicative languages. Proc. ACM/MIT Conference on Functional Languages and Computer Architecture. Portsmouth, New Hampshire.
Feather M. A. [1979]. ‘ZAP’ program transformation system, primer and users manual. Report no. 54, Department of Artificial Intelligence, University of Edinburgh. Also in TOPLAS Vol. 4 (1) 1982.
Gordon M. J., Milner R. J. A. and Wadsworth C. [ 1977 ]. Edinburgh LCF Report CSR-11-77 (Part 1 ), Department of Computer Science, University of Edinburgh.
Kott L. [ 1975 ]. About a transformation system: a theoretical study, Proc. Third Symposium on Programming. Paris,
Moor I. W. [ 1980 ]. A study of algorithm derivations. Internal Report, Department of Computing, Imperial College.
Partsch H. [ 1983 ]. A transformational approach to parsing. Internal report Institut fur Informatik, T.U.M. To appear in Science of Computer Programming,
Siew D. [ 1982 ], Mathematical derivation of algorithms. M.Sc. Thesis. Department of Computing, Imperial College.
Turner D. [19793. A new implementation technique for applicative languages. Software Practice and Experience, January.
Wile D. S. [ 1981 ]. Program developments as formal objects. Technical Report RR-81-99, ISI, Marina del Rey.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1984 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Darlington, J. (1984). Program Transformation in the ALICE Project. In: Pepper, P. (eds) Program Transformation and Programming Environments. NATO ASI Series, vol 8. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-46490-4_31
Download citation
DOI: https://doi.org/10.1007/978-3-642-46490-4_31
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-46492-8
Online ISBN: 978-3-642-46490-4
eBook Packages: Springer Book Archive