Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

17

HASKELL
2007
ACM

favoriteEmaildiscussreport

132views Programming Languages» more HASKELL 2007»

A functional-logic library for wired

13 years 8 months ago

A functional-logic library for wired

Download www.cs.york.ac.uk

We develop a Haskell library for functional-logic programming, motivated by the implementation of Wired, a relational embedded domain-specific language for describing and analysing digital circuits at the VLSI-layout level. Compared to a previous library for logic programming by Claessen and Ljungl

Matthew Naylor, Emil Axelsson, Colin Runciman

Real-time Traffic

Embedded Domain-specific Language | HASKELL 2007 | Haskell Library | Logical Data Types | Programming Languages |

claim paper

Related Content

» A functional logic database library

» Testpoint insertion scan paths through functional logic

» Observing Functional Logic Computations

» A Functional Logic Programming Approach to Graphical User Interfaces

» Qualified Computations in Functional Logic Programming

» Declaring Numbers

» Translating curry to haskell system demo

» Automated Testability Enhancements for Logic Brick Libraries

» Reclocking for highlevel synthesis

Post Info
More Details (n/a)

Added	16 Aug 2010
Updated	16 Aug 2010
Type	Conference
Year	2007
Where	HASKELL
Authors	Matthew Naylor, Emil Axelsson, Colin Runciman

Comments (0)