[Pl-seminar] [Fwd: Carol Harlow] Lennart Augustsson @ Harvard: May 1

[Mitchell Wand]

------- start of forwarded message (RFC 934 encapsulation) -------
From: Carol Harlow <harlow at deas.harvard.edu>
To: colloquium at deas.harvard.edu
Subject: Talk, May 1
Date: Fri, 11 Apr 2003 15:02:22 -0400

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

Colloquium

Bluespec - a hardware description language

Lennart Augustsson
Sandburst Corporation

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

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 website:   www.bluespec.org

Host:    Professor Norman Ramsey




- --
Carol Harlow
Harvard University
Maxwell Dworkin 343
33 Oxford Street
Cambridge, MA  02138
617) 496-1440
Fax (617) 496-6404


------- end -------