Chapter PDF
Keywords
- Shape Analysis
- Partial Evaluation
- Functional Language
- Imperative Language
- Matrix Multiplication Algorithm
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
J.M. Ashley. The effectiveness of flow analysis for inlining. In Proc. 1997 ACM SIGPLAN International Conf. on Functional Programming (ICFP'97), pages 99–111, June 1997.
G. Bellé, C. B. Jay, and E. Moggi. Punctorial ML. In PLILP'96, volume 1140 of LNCS, pages 32–46. Springer Verlag, 1996. TR SOCS-96.08.
R. Bird and P. Wadler. Introduction to Functional Programming. International Series in Computer Science. Prentice Hall, 1988.
P. Cousot and R. Cousot. Abstract interpretation: A unified lattice model for static analysis of programs by construction of approximation of fix-points. In Conf. Record of the 4th ACM Symposium on Principles of Pro-gramming Languages, pages 238–252, 1977.
J. Darlington, Y.K Guo, To H.W., and Jing Y. Functional skeletons for parallel coordination. In Proceedings of Europar 95, 1995.
R. Harper and G. Morrisett. Compiling polymorphism using intensional type analysis. In Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 130–141, San Francisco, California, January 1995.
P. Hudak, S. Peyton-Jones, and P. Wadler. Report on the programming language Haskell: a non-strict, purely functional language. SIGPLAN No-tices, 1992.
K.E. Iverson. A Programming Language. Wiley, 1962.
C.B. Jay, M.I. Cole, M. Sekanina, and P. Steckler. A monadic calculus for parallel costing of a functional language of arrays. In C. Lengauer, M. Griebl, and S. Gorlatch, editors, Euro-Par'97 Parallel Processing, vol-ume 1300 of Lecture Notes in Computer Science, pages 650–661. Springer, August 1997.
N.D. Jones, C.K. Gomard, and P. Sestoft. Partial Evaluation and Au-tomatic Program Generation. International Series in Computer Science. Prentice Hall, 1993.
P. Jansson and J. Jeuring. PolyP-a polytypic programming language extension. In POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 470–482. ACM Press, 1997.
C.B. Jay and M. Sekanina. Shape checking of array programs. In Com-puting: the Australasian Theory Seminar, Proceedings, 1997, volume 19 of Australian Computer Science Communications, pages 113–121, 1997.
C.B. Jay and P.A. Steckler. The functional imperative: shape! Technical Report 06, University of Technology, Sydney, 1997. 20 pp.
S. Jagannathan and A. Wright. Flow-directed inlining. In Proc. ACM SIG-PLAN 1996 Conf. on Programming Language Design and Implementation, pages 193–205, 1996.
X. Leroy. The effectiveness of type-based unboxing. In Abstracts from the 1997 Workshop on Types in Compilation (TIC97). Boston College Com-puter Science Department, June 1997.
R. Milner, R. Harper, M. Tofte, and D. MacQueen. The Definition of Standard ML (Revised). MIT Press, 1997.
R. Milner. A theory of type polymorphism in programming. JCSS, 17, 1978.
F. Nielson and H.R. Nielson. Two-level functional languages. Cambridge University Press, 1992.
Objective Caml home page on the World-Wide Web. http://pauillac.inria.fr/ocaml.
P.W. O'Hearn and R.D. Tennent, editors. Algol-like Languages, Vols I and II. Progress in Theoretical Computer Science. Birkhauser, 1997.
J.C. Reynolds. The essence of ALGOL. In J.W. de Bakker and J.C. van Vliet, editors, Algorithmic Languages, pages 345–372. IFIP, North-Holland Publishing Company, 1981.
John C. Reynolds. Design of the programming language Forsythe. Report CMU-CS-96-146, Carnegie Mellon University, June 1996.
D.B. Skillicorn. Foundations of Parallel Programming. Number 6 in Cam-bridge Series in Parallel Computation. Cambridge University Press, 1994.
M. Tofte, L. Birkedal, M. Elsman, N. Hallenberg, T.H. Olesen, P. Sestoft, and P. Bertelsen. Programming with regions in the ML kit. Technical Report 97/12, Univ. of Copenhagen, 1997.
R.D. Tennent. Elementary data structures in Algol-like languages. Science of Computer Programming, 13:73–110, 1989.
M. Tofte and J.-P. Talpin. Implementation of the typed call-by-value A-calculus using a stack of regions. In Conf. Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 188–201, January 1994.
Zpl home page, http://www.cs.washington.edu/research/zpl.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Jay, C.B., Steckler, P.A. (1998). The functional imperative: Shape!. In: Hankin, C. (eds) Programming Languages and Systems. ESOP 1998. Lecture Notes in Computer Science, vol 1381. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0053568
Download citation
DOI: https://doi.org/10.1007/BFb0053568
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64302-9
Online ISBN: 978-3-540-69722-0
eBook Packages: Springer Book Archive