CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

Functional Programming and Hardware Design: Still Interesting after All These Years

Mary Sheeran (Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers))
ACM Sigplan Notices. 20th ACM SIGPLAN International Conference on Functional Programming (ICFP) (0362-1340). Vol. 50 (2015), 9, p. 165-165.
[Konferensbidrag, refereegranskat]

Higher order functions provide an elegant way to express algorithms designed for implementation in hardware [1, 6-9]. By showing examples of both classic and new algorithms, I will explain why higher order functions deserve to be studied. Next, I will consider the extent to which ideas from functional programming, and associated formal verification methods, have influenced hardware design in practice [3-5, 10]. What can we learn from looking back? You might ask "Why are methods of hardware design still important to our community?". Maybe we should just give up? One reason for not giving up is that hardware design is really a form of parallel programming. And here there is still a lot to do! Inspired by Blelloch's wonderful invited talk at ICFP 2010 [2], I still believe that functional programming has much to offer in the central question of how to program the parallel machines of today, and, more particularly, of the future. I will briefly present some of the areas where I think that we are poised to make great contributions. But maybe we need to work harder on getting our act together?

Nyckelord: Hardware design, parallel algorithms, functional programming, higher order functions, parallel programming



Denna post skapades 2016-01-22.
CPL Pubid: 231130

 

Läs direkt!


Länk till annan sajt (kan kräva inloggning)


Institutioner (Chalmers)

Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers)

Ämnesområden

Programvaruteknik

Chalmers infrastruktur