Benchmarking implementations of functional languages with 'Pseudoknot', a float-intensive benchmark

Journal of Functional Programming

Volumn 6, Issue 4, 1996, Pages 621-655

  Hartel, Pieter H ^a   Feeley, Marc ^b   Alt, Martin ^c   Augustsson, Lennart ^d   Baumann, Peter ^e   Beemster, Marcel ^a   Chailloux, Emmanuel ^f   Flood, Christine H ^g   Grieskamp, Wolfgang ^h   Van Groningen, John H G ⁱ   Hammond, Kevin ^j   Hausman, Bogumil ^k   Ivory, Melody Y ^l   Jones, Richard E ^m   Kamperman, Jasper ⁿ   Lee, Peter ^o   Leroy, Xavier ^p   Lins, Rafael D ^q   Loosemore, Sandra ^r   Röjemo, Niklas ^d   Serrano, Manuel ^p   Talpin, Jean Pierre ^s   Thackray, Jon ^t   Thomas, Stephen ^u   Walters, Pum ⁿ   Weis, Pierre ^p   Wentworth, Peter ^v   more..

^a UNIVERSITY OF AMSTERDAM   (Netherlands)

^b UNIVERSITÉ DE MONTRÉAL   (Canada)

^c SAARLAND UNIVERSITY   (Germany)

^d CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

^e UNIVERSITY OF ZURICH   (Switzerland)

^f ECOLE NORMALE SUPÉRIEURE   (France)

^g MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

^h TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

ⁱ RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

^j UNIVERSITY OF GLASGOW   (United Kingdom)

^k Box 1505 ^*  (Sweden)

^l LAWRENCE LIVERMORE NATIONAL LABORATORY   (United States)

^m UNIVERSITY OF KENT   (United Kingdom)

ⁿ CWl   (Netherlands)

^o Carnegie Mellon University   (United States)

^p INRIA ROCQUENCOURT   (France)

^q FEDERAL UNIVERSITY OF PERNAMBUCO   (Brazil)

^r Yale University   (United States)

^s Europ Comp Indust Research Centre   (Germany)

^t Harlequin Limited   (United Kingdom)

^u UNIVERSITY OF NOTTINGHAM   (United Kingdom)

^v RHODES UNIVERSITY   (South Africa)

more..

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0030356005     PISSN: 09567968     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0956796800001891     Document Type: Article

References (59)

1. Alt, M., Fecht, C, Ferdinand, C. and Wilhelm, R. (1993) The Trafola-S subsystem. In B. Hoffmann and B. Krieg-Brückner, editors, Program development by specification and transformation, LNCS 680, pp. 539-576. Berlin: Springer-Verlag.
2. Appel, A. W. (1992) Compiling with Continuations. Cambridge: CUP.
3. Armstrong, J., Williams, M. and Virding, R. (1993) Concurrent programming in Erlang. Englewood Cliffs, NJ: Prentice Hall.
4. Augustsson, L. (1993) HBC user's manual. Programming Methodology Group Distributed with the HBC compiler, Department of Computer Science, Chalmers University of Technology, Sweden.
5. Augustsson, L. and Johnsson, T. (1989) The Chalmers Lazy-ML compiler. The Computer Journal, 32(2),127-141.
6. Augustsson, L. and Johnsson, T. (1990) Lazy ML user's manual. Programming methodology group report, Department of Computer Science, Chalmers University of Technology, Sweden.
7. Beemster, M. (1992) The lazy functional intermediate language Stoffel. Technical report CS-92-16, Department of Computer Systems, University of Amsterdam.
8. Beemster, M. (1993) Optimizing transformations for a lazy functional language. In W.-J. Withagen, editor, 7th Computer systems, pp. 17-40, Eindhoven University of Technology, The Netherlands.
9. Bergstra, J. A., Heering, J. and Klint, P. (1989) Algebraic Specification,. New York: ACM Press (in co-operation with Addison-Wesley).
10. Cann, D. C. (1992a) The optimizing SISAL compiler: version 12.0. Manual UCRL-MA-110080, Lawrence Livermore National Laboratory, Livermore, CA.
11. Cann, D. C. (1992b) Retire FORTRAN? a debate rekindled. Comm. ACM, 35(8), 81-89.
12. Chailloux, E. (1992) An efficient way of compiling ML to C. In P. Lee, editor, ACM SIGPLAN Workshop on ML and its Applications, pp. 37-51, San Francisco, CA. (School of Computer Science, Carnegie Mellon University, Technical report CMU-CS-93-105.)
13. Didrich, K., Fett, A., Gerke, C., Grieskamp, W. and Pepper, P. (1994) OPAL: Design and implementation of an algebraic programming language. In J. Gutknecht, editor, Programming Languages and System Architectures, LNCS 782, pp. 228-244. Berlin: Springer-Verlag.
14. Diwan, A., Tarditi, D. and Moss, E. (1994) Memory subsystem performance of programs with copying garbage collection. In 21st Principles of Programming Languages, pp. 1-14, Portland, OR. New York: ACM.
15. Feeley, M. and Miller, J. S. (1990) A parallel virtual machine for efficient Scheme compilation. In Lisp and Functional Programming, pp. 119-130, Nice, France. New York: ACM.
16. Feeley, M., Turcotte, M. and Lapalme, G. (1994) Using Multilisp for solving constraint satisfaction problems: an application to nucleic acid 3D structure determination. Lisp and Symbolic Computation, 7(2/3), 231-246.
17. Giegerich, R. and Hughes, R. J. M. (1994) Functional programming in the real world. Dagstuhl seminar report 89, IBFI GmbH, Schloss Dagstuhl, D-66687 Wadern, Germany.
18. Gill, A. J. and Peyton Jones, S. L. (1994) Cheap deforestation in practice: An optimiser for Haskell. In Proc. IFIP. Vol. 1, pp. 581-586, Hamburg, Germany.
19. Gopinath, K. and Hennesy, J. L. (1989) Copy elimination in functional languages. In 16th Principles of Programming Languages, pp. 303-314, Austin, TX. New York: ACM.
20. The Yale Haskell Group (1994) The Yale Haskell Users Manual (version Y2.3b). Department of Computer Science, Yale University (Distributed with the Yale Haskell compiler), July.
21. Halstead Jr., R. H. (1985) Multilisp: A language for concurrent symbolic computation. ACM Trans. on Programming Languages and Systems, 7(4), 501-538.
22. Harlequin (1994) MLWorks draft documentation. Harlequin Ltd, Cambridge, UK.
23. Hartel, P. H., Glaser, H. W. and Wild, J. M. (1994) Compilation of functional languages using flow graph analysis. Software-Practice and Experience, 24(2), 127-173.
24. Hartel, P. H. and Langendoen, K. G. (1992) Benchmarking implementations of lazy functional languages. In 6th Functional Programming Languages and Computer Architecture, pp. 341-349, Copenhagen, Denmark. New York: ACM.
25. Hausman, B. (1994) Turbo Erlang: Approaching the speed of C. In E. Tick and G. Succi, editors, Implementations of Logic Programming Systems, pp. 119-135. Dordrecht: Kluwer.
26. Hudak, P., Peyton Jones, S. L. and Wadler, P. L. (editors). (1992) Report on the programming language Haskell - a non-strict purely functional language, version 1.2. ACM SIGPLAN Notices, 27(5), R1-R162, May.
27. Jones, M. P. (1994) The implementation of the Gofer functional programming system. Research Report YALEU/DCS/RR-1030, Department of Computer Science, Yale University.
28. Kernighan, B. W and Ritchie, D. W. (1988) The C Programming Language - ANSI C. Englewood Cliffs, NJ: Prentice Hall.
29. Leroy, X. (1992) Unboxed objects and polymorphic typing. In 19th Principles of Programming Languages, pp. 177-188, Albuquerque, NM. New York: ACM.
30. Leroy, X. (1993) The Caml Light system, release 0.61. Software and documentation distributed by anonymous FTP on ftp.inria.fr.
31. Lins, R. D. (1987) Categorical Multi-Combinators. In G. Kahn, editor, 3rd Functional Programming Languages and Computer Architecture, LNCS 274, pp. 60-79, Portland, OR. Berlin: Springer-Verlag.
32. Lins, R. D and Lira, B. O. (1993) ΓCMC: A novel way of implementing functional languages. J. Programming Languages, 1(1), 19-39.
33. MacLachlan, R. A. (1992) CMU common Lisp user's manual. Technical report CMU-CS-92-161, School of Computer Science, Carnegie Mellon University.
34. McGraw, J. R., Skedzielewski, S. K., Allan, S., Oldehoeft, R., Glauert, J. R. W., Kirkham, C., Noyce, B. and Thomas, R. (1985) Sisal: Streams and iteration in a single assignment language. Language reference manual version 1.2 M-146, Rev. 1, Lawrence Livermore National Laboratory, Livermore, CA.
35. Milner, R., Tofte, M. and Harper, R. (1990) The Definition of Standard ML. Cambridge, MA: MIT Press.
36. Nikhil, R. S. (1991) ID version 90.1 reference manual. Computation Structures Group Memo 284-2, Laboratory for Computer Science, MIT, Cambridge, MA.
37. Peyton Jones, S. L., Hall, C. V., Hammond, K., Partain, W. D. and Wadler, P. L. (1993) The Glasgow Haskell compiler: a technical overview. In Proc. Joint Framework for Information Technology (JFIT) Technical Conference, pp. 249-257, Keele, UK. London: DTI/SERC.
38. Peyton Jones, S. L. and Launchbury, J. (1991) Unboxed values as first class citizens in a non-strict functional language. In R. J. M. Hughes, editor, 5th Functional Programming Languages and Computer Architecture, LNCS 523, pp. 636-666, Cambridge, MA. Berlin: Springer-Verlag.
39. Plasmeijer, M. J. and van Eekelen, M. C. J. D. (1994) Concurrent Clean - version 1.0 - Language Reference Manual, draft version. Department of Computer Science, University of Nijmegen, The Netherlands.
40. Ranelletti, J. E. (1987) Graph transformation algorithms for array memory memory optimization in applicative languages. PhD thesis, Computer Science Deptartment, University of California at Davis, CA.
41. 4 Report on the Algorithmic Language Scheme. MIT, Cambridge, MA.
42. Röjemo, N. (1995) Highlights from nhc - a space-efficient Haskell compiler. In 6th Functional Programming Languages and Computer Architecture, pp. 282-292, La Jolla, CA. New York: ACM.
43. Schulte, W. and Grieskamp, W. (1991) Generating efficient portable code for a strict applicative language. In J. Darlington and R. Dietrich, editors, Phoenix Seminar and Workshop on Declarative Programming, pp. 239-252, Sasbachwalden, West Germany. Berlin: Springer-Verlag.
44. Serrano, M. (1994) Bigloo user's manual. Technical report 0169, INRIA-Rocquencourt, France.
45. Serrano, M. and Weis, P. (1994) 1 + 1 = 1: an optimizing Cam1 compiler. In ACM-SIGPLAN Workshop on ML and its Applications, pp. 101-111. (Research report 2265, INRIA Rocquencourt, France, June.)
46. Shao, Z. (1994) Compiling Standard ML for Efficient Execution on Modern Machines. PhD thesis, Princeton Univ, Princeton, NJ.
47. Smetsers, S., Nöcker, E. G. J. M. H., van Groningen, J. and Plasmeijer, M. J. (1991) Generating efficient code for lazy functional languages. In R. J. M. Hughes, editor, 5th Functional Programming Languages and Computer Architecture, LNCS 523, pp. 592-617, Cambridge, MA. Berlin: Springer-Verlag.
48. Steele Jr., G. L. (1990) Common Lisp the Language. Bedford: Digital Press.
49. Thomas, S. (1993) The Pragmatics of Closure Reduction. PhD thesis, University of Kent at Canterbury, UK.
50. Thomas, S. (1995) The OP-TIM - a better PG-TIM. Technical report NOTTCS-TR-95-7, Department of Computer Science, University of Nottingham, UK.
51. Thompson, S. (1986) Laws in Miranda. In Lisp and Functional Programming, pp. 1-12, Cambridge, MA. New York: ACM.
52. Thomsen, B., Leth, L., Prasad, S., Kuo, T.-S., Kramer, A., Knabe, F. and Giacalone, A. (1993) Facile antigua release - programming guide. Technical report ECRC-93-20, European Computer-Industry Research Centre, Munich, Germany. (The reference manual and license agreement are available by anonymous ftp from ftp.ecrc.de.)
53. Turner, D. A. (1985) Miranda: A non-strict functional language with polymorphic types. In J.-P. Jouannaud, editor, 2nd Functional Programming Languages and Computer Architecture, LNCS 201, pp. 1-16, Nancy, France. Berlin: Springer-Verlag.
54. Turner, D. A. (1990) Miranda system manual. Research Software Ltd, 23 St Augustines Road, Canterbury, Kent CT1 1XP, UK, April.
55. Wadler, P. L. (1990) Deforestation: transforming programs to eliminate trees. Theoretical Computer Science, 73(2), 231-248.
56. Walters, H. R. and Kamperman, J. F. Th. (1995) Epic: Implementing language processors by equational programs. Technical report in preparation, Centrum voor Wiskunde en Informatica, Amsterdam, The Netherlands.
57. Weis, P. and Leroy, X. (1993) Le langage Caml. InterÉditions.
58. Wentworth, E. P. (1991) Code generation for a lazy functional language. Technical report 91/19, Department of Computer Science, Rhodes University.
59. Wentworth, E. P. (1992) RUFL reference manual. Technical report 92/1, Department of Computer Science, Rhodes University.