A Functional-Logic Library for Wired
Paper i proceeding, 2007

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.

Författare

Matthew Naylor

University of York

Emil Axelsson

Chalmers, Data- och informationsteknik, Datavetenskap

Colin Runciman

University of York

Proceedings of the ACM SIGPLAN 2007 Haskell Workshop. Freiburg, Germany, Sept 2007

37-48

Styrkeområden

Informations- och kommunikationsteknik

Ämneskategorier

Data- och informationsvetenskap

DOI

10.1145/1291201.1291207

ISBN

978-1-59593-674-5