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.

Länka till denna publikation

Dela på webben

Skapa referens, olika format (klipp och klistra)

BibTeX @conference{Naylor2007,author={Naylor, Matthew and Axelsson, Emil and Runciman, Colin},title={A Functional-Logic Library for Wired},booktitle={Proceedings of International Workshop on Hardware Design and Functional Languages. Braga, Portugal, March 2007},pages={95-113},abstract={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.},year={2007},}

RefWorks RT Conference ProceedingsSR PrintID 64032A1 Naylor, MatthewA1 Axelsson, EmilA1 Runciman, ColinT1 A Functional-Logic Library for WiredYR 2007T2 Proceedings of International Workshop on Hardware Design and Functional Languages. Braga, Portugal, March 2007SP 95AB 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.LA engOL 30