Finding inputs that reach a target expression

SCAM 2007 - Proceedings 7th IEEE International Working Conference on Source Code Analysis and Manipulation

Volumn , Issue , 2007, Pages 133-142

  Naylor, Matthew ^a   Runciman, Colin ^a  

^a UNIVERSITY OF YORK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

LAZY NARROWING; PERFORMANCE BENEFITS; PROGRAM ANALYSIS; PROGRAM UNDERSTANDINGS; SEARCH SPACES; SYMBOLIC EVALUATIONS; TARGET EXPRESSIONS;

COMPUTER PROGRAMMING; FUNCTIONAL PROGRAMMING; LOGIC PROGRAMMING;

TARGETS;

EID: 47749097080     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SCAM.2007.30     Document Type: Conference Paper

References (12)

1. G. Berry and G. Gonthier. The Esterel synchronous programming language: Design, semantics, implementation. Science of Computer Programming, 19(2):87-152, 1992.
2. K. Claessen and J. Hughes. QuickCheck: A lightweight tool for random testing of Haskell programs. In Proc. of International Conference on Functional Programming (ICFP). ACM SIGPLAN, 2000.
3. K. Claessen and G. Pace. An Embedded Language Framework for Hardware Compilation. In Participants Proceedings of the 2002 Workshop on Designing Correct Circuits.
4. D. Golubovsky, N. Mitchell, and M. Naylor. Yhc.Core: from Haskell to Core. The Monad.Reader Issue 7. http://www.haskell.org/haskellwiki/ The_Monad.Reader.
5. M. Hanus and H. Kuchen. Integration of Functional and Logic Programming. ACM Computing Surveys, 28(2):306-308, 1996.
6. R. Hinze. A fresh look at binary search trees. Journal of Functional Programming, 12(6):601-607, 2002.
7. G. Hutton. The Countdown Problem. Journal of Functional Programming, 12(6):609-616, Nov. 2002.
8. F. Lindblad. Property directed generation of first-order test data. The Eigth Symposium on Trends in Functional Programming, New York, 2007, to appear.
9. M. Naylor. The Reduceron: An FPGA Machine for Executing Haskell. http://www.cs.york.ac.uk/~mfn/reduceron/.
10. W. Partain et al. The nofib Benchmark Suite of Haskell Programs. http://darcs.haskell.org/nofib/, 2007.
11. S. Peyton Jones, editor. Haskell 98 Language and Libraries - The Revised Report. Cambridge University Press, Cambridge, England, 2003.
12. C. Runciman. The SmallCheck distribution. http://www.cs.york.ac.uk/fp/ smallcheck0.2.tar.