A functional-logic library for wired

Haskell'07: Proceedings of the ACM SIGPLAN 2007 Haskell Workshop

Volumn , Issue , 2007, Pages 37-48

  Naylor, Matthew ^a   Axelsson, Emil ^b   Runciman, Colin ^a  

^a UNIVERSITY OF YORK   (United Kingdom)

^b CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

Author keywords

Design; Languages

Indexed keywords

HASKELL LIBRARY; LOGICAL DATA TYPES;

DIGITAL CIRCUITS; LOGIC PROGRAMMING; PATTERN MATCHING;

DIGITAL LIBRARIES;

EID: 38849178660     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1291201.1291207     Document Type: Conference Paper

References (16)

1. Emil Axelsson, Koen Claessen, and Mary Sheeran. Wired: Wireaware circuit design. In Proc. of Conference on Correct Hardware Design and Verification Methods (CHARME), volume 3725 of Lecture Notes in Computer Science. Springer Verlag, October 2005.
2. Koen Claessen and Peter Ljunglöf. Typed logical variables in Haskell. In Proc. of Haskell Workshop. ACM SIGPLAN, 2000.
3. Koen Claessen and David Sands. Observable Sharing for Functional Circuit Description. In Advances in Computing Science ASIAN'99; 5th Asian Computing Science Conference, volume 1742 of LNCS, pages 62-73. Springer-Verlag, 1999.
4. Koen Claessen, Mary Sheeran, and Satnam Singh. The design and verification of a sorter core. In Proc. of Conference on Correct Hardware Design and Verification Methods (CHARME), volume 2144 of Lecture Notes in Computer Science, pages 355-369. Springer Verlag, 2001.
5. Michael Hanus, Herbert Kuchen, and Jose Moreno-Navarro. Curry: A Truly Functional Logic Language. In Proceedings of the ILPS'95 Workshop on Visions for the Future of Logic Programming, 1995.
6. Ralf Hinze. Deriving backtracking monad transformers. In ICFP '00: Proceedings of the fifth ACM SIGPLAN international conference on Functional programming, pages 186-197, New York, NY, USA, 2000. ACM Press.
7. Ralf Hinze. An algebra of scans. In Mathematics of Program Construction, volume 3125 of Lecture Notes in Computer Science, pages 186-210. Springer, 2004.
8. Geraint Jones and Mary Sheeran. Circuit design in Ruby. In J. Staunstrup, editor, Formal Methods for VLSI Design., Elsevier, 1990.
9. Oleg Kiselyov, Chung-Chieh Shan, Daniel P. Friedman, and Amr Sabry. Backtracking, interleaving, and terminating monad transformers. In Proc. of International Conference on Functional Programming, volume 40, pages 192-203. ACM SIGPLAN, 2005.
10. Daan Leijen and Erik Meijer. Domain specific embedded compilers. In PLAN '99: Proceedings of the 2nd conference on Domain-specific languages, pages 109-122, New York, NY, USA, 1999. ACM Press.
11. Fredrik Lindblad. Property directed generation of first-order test data. The Eigth Symposium on Trends in Functional Programming, New York, 2007, to appear.
12. Rita Loogen, Francisco Javier Lopez-Fraguas, and Mario Rodriguez-Artalejo. A demand driven computation strategy for lazy narrowing. In The 5th International Symposium on Programming Language Implementation and Logic Programming, LNCS 714, pages 184-200, 1993.
13. Matthew Naylor and Colin Runciman. Finding inputs that reach a target expression. In SCAM '07: Proceedings of the Seventh IEEE International Working Conference on Source Code Analysis and Manipulation, Washington, DC, USA, September 2007. IEEE Computer Society. To appear.
14. Mary Sheeran. Generating Fast Multipliers Using Clever Circuits. In Formal Methods in Computer-Aided Design, 5th International Conference, LNCS 3312. Springer-Verlag, 2004.
15. Michael Spivey and Silvija Seres. Embedding Prolog in Haskell. In Haskell Workshop, Paris, September 1999.
16. Philip Wadler. Monads for functional programming. In M. Broy, editor, Program Design Calculi: Proceedings of the 1992 Marktoberdorf International Summer School. Springer-Verlag, 1993.