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

A Functional-Logic Library for Wired

Matthew Naylor ; Emil Axelsson (Institutionen för data- och informationsteknik, Datavetenskap (Chalmers)) ; Colin Runciman
Proceedings of International Workshop on Hardware Design and Functional Languages. Braga, Portugal, March 2007 p. 95-113. (2007)
[Konferensbidrag, övrigt]

We develop a Haskell library for functional-logic programming and apply it to the implementation of Wired, a relational language for describing and analysing circuits at the VLSI-layout level. Compared to a previous library for logic programming by Claessen, our main contribution is to add support for residuation. Compared to the published paper on Wired, we implement a useful version of the language while demonstrating the use of relations rather than functions in the design of high-performance circuits. Finally, we evaluate the success of our library by comparing it with the dedicated functional-logic language Curry.



Denna post skapades 2008-01-02. Senast ändrad 2008-01-02.
CPL Pubid: 64032

 

Institutioner (Chalmers)

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

Ämnesområden

Programvaruteknik

Chalmers infrastruktur

Relaterade publikationer

Denna publikation ingår i:


Functional Programming Enabling Flexible Hardware Design at Low Levels of Abstraction