Sciweavers

TACAS
2001
Springer
160views Algorithms» more  TACAS 2001»
13 years 8 months ago
Hardware/Software Co-Design Using Functional Languages
In previous work we have developed and prototyped a silicon compiler which translates a functional language (SAFL) into hardware. Here we present a SAFL-level program transformati...
Alan Mycroft, Richard Sharp