Performance Analysis and Design Aids
by
Matthew Naylor
,
A Functional-logic
,
Library Wired
BibTeX
@MISC{Naylor_performanceanalysis,
author = {Matthew Naylor and A Functional-logic and Library Wired},
title = {Performance Analysis and Design Aids},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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öf, we support residuation, easier creation of logical data types, and pattern matching. We discuss other applications of our library, including test-data generation, and various extensions, including lazy narrowing.
