[Pl-seminar] talk by Lennart Augustsson, May 1, Harvard (Bluespec H/W Desc. Lang.)

[Norman Ramsey]

              Bluespec - a hardware description language

                          Lennart Augustsson
                        Sandburst Corporation

Abstract

Bluespec is a high-level hardware description language being developed
by Sandburst Corporation based on prior research at MIT.  The syntax and
type system of Bluespec is based on the functional language Haskell, but
the operational semantics comes from Term Rewriting Systems.

URL:   www.bluespec.org
Host:    Professor Norman Ramsey

Harvard University Computer Science Colloquium Series,
33 Oxford St.,Cambridge, MA 02138
tel: (617) 496-1440  fax: (617) 496-6404

Thursday, May 1, 2003
4:00PM
Maxwell Dworkin G125
(Ice Cream at 3:30PM - Maxwell Dworkin Ground-Floor Lounge)