Denotational semantics of shape: Past, present and future

Electronic Notes in Theoretical Computer Science

Volumn 20, Issue , 1999, Pages 320-333

  Jay, C B ^a  

^a UNIVERSITY OF TECHNOLOGY SYDNEY   (Australia)

Author keywords

Denotational semantics; FISh; Shape

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; FUNCTIONS; POLYNOMIALS; SET THEORY; THEOREM PROVING; VECTORS;

DENOTATIONAL SEMANTICS; FISH; SHAPES; STATIC ANALYSIS;

SEMANTICS;

EID: 19344367883     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80081-1     Document Type: Conference Paper

References (25)

1. Abramsky S., Hankin C.L. Abstract Interpretation of Declarative Languages, Computers and Their Applications. 1987;Ellis Horwood
2. Carboni A., Johnstone P.T. Connected limits, familial representability and artin glueing. Mathematical Structures in Computer Science. 5:1995;441-459
3. Cockett J.R.B. List-arithmetic distributive categories: locoi. Journal of Pure and Applied Algebra. 66:1990;1-29
4. Fish web-site, URL: http://www-staff.socs.uts.edu.au/~cbj/FISh
5. K. E. Iverson, "J Introduction and Dictionary." Iverson Software Inc. (ISI), 1995
6. 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 ACM Press, 1997, pages 470-482.
7. C.B. Jay, Matrices, monads and the fast Fourier transform, In: Proceedings of the Massey Functional Programming Workshop 1994, 1994, pages 71-80.
8. C. B. Jay, Polynomial polymorphism, In: R. Kotagiri, author, Proceedings of the Eighteenth Australian Computer Science Conference: Glenelg, South Australia 1-3 February, 1995, A.C.S. Communications 17 (1995), pp. 237-243.
9. Jay C.B. A semantics for shape. Science of Computer Programming. 25:1995;251-283
10. C. B. Jay, The FISh language definition, URL: http://www-staff.uts.edu. au/~cbj/Publication/fishdef.ps.gz, 1998.
11. C. B. Jay, Poly-dimensional array programming, URL: http://www-staff. socs.uts.edu.au/~cbj/Publications/polydimensional2.ps.gz, August 1998.
12. C. B. Jay, Costing parallel programs as a function of shapes, Science of Computer Programming, 1999, in press.
13. C. B. Jay, Partial evaluation of shaped programs: experience with FISh, In: O. Danvey, author, ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '99) San Antonio, Texas, January 22-23, 1999: Proceedings BRICS, 1999, pages 147-158.
14. Jay C.B., Bellè G., Moggi E. Functorial ML. Journal of Functional Programming. 8:1998;573-619
15. C. B. Jay, E. Moggi, and G. Bellè, Functors, types and shapes, In: R. Backhouse and T. Sheard, authors, Workshop on Generic Programming: Marstrand, Sweden, 18th June, 1998, Chalmers University of Technology, 1998, pages 21-4.
16. C. B. Jay and J. R. B. Cockett, Shapely types and shape polymorphism, In: D. Sannella, author, Programming Languages and Systems - ESOP '94: 5th European Symposium on Programming, Edinburgh, U.K., April 1994, Proceedings, Lecture Notes in Computer Science, Springer Verlag, 1994, pages 302-316.
17. C. B. Jay and P. A. Stecker, The functional imperative: shape!, In: Chris Hankin, author, Programming languages and systems: 7th European Symposium on Programming, ESOP'98. Held as part of the joint European conferences on theory and practice of software, ETAPS'98, Lisbon, Portugal, March/April 1998, Lecture Notes in Computer Science 1381 (1998), pp. 139-53.
18. J. Jeuring, Polytypic pattern matching, In: Confernece on Functional Programming Languages and Computer Architecture, 1995, pages 238-248.
19. N. D. Jones, C.K. Gomard, and P. Sestoft, "Partial Evaluation and Automatic Program Generation," International Series in Computer Science, Prentice Hall International, 1993.
20. Jones M.P. A system of constructor classes: overloading and implicit higher-order polymorphism. J. of Functional Programming. 5:1995
21. O'Hearn P.W., Tennent R.D. Algol-like Languages, Vols I and II,"Progress in Theoretical Computer Science" 1997;Birkhauser
22. Redfern D., Campbell C. The MATLAB 5 Handbook. 1998;Springer-Verlag
23. Reynolds J.C. The essence of ALGOL. de Bakker J.W., van Vliet J.C. "Algorithmic Languages," IFIP. 1981;345-372 North-Holland Publishing Company
24. H. Richardson, High Performance Fortran: history, overview and current develoopments, URL: http://www.crpc.rice.edu/HPFF/publications.html, 1996.
25. University of Washington. ZPL, URL: http://www.cs.waashington.edu/ research/zpl/index.html, 1997.