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 the ACM SIGPLAN 2007 Haskell Workshop. Freiburg, Germany, Sept 2007 p. 37-48. (2007)
[Konferensbidrag, refereegranskat]

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.



Den här publikationen ingår i följande styrkeområden:

Läs mer om Chalmers styrkeområden  

Denna post skapades 2008-01-02. Senast ändrad 2015-11-17.
CPL Pubid: 64034

 

Läs direkt!


Länk till annan sajt (kan kräva inloggning)