EasyCheck — Test Data for Free-Reference-Cited by-同舟云学术

EasyCheck — Test Data for Free

Published: Issue: Volume: Page:322-336
ISSN:
Container-title:Functional and Logic Programming
language:
Short-container-title:

Author:

Christiansen Jan,Fischer Sebastian

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-78969-7_23.pdf

Reference20 articles.

1. Lecture Notes in Computer Science;S. Antoy,2006

2. Braßel, B., Hanus, M., Huch, F.: Encapsulating non-determinism in functional logic computations. In: EAPLS, vol. 6 (2004)

3. Peyton Jones, S.: Haskell 98 Language and Libraries: The Revised Report. Cambridge University Press, Cambridge (2003)

4. Braßel, B., Huch, F.: Translating Curry to Haskell. In: Proc. of the ACM SIGPLAN Workshop on Curry and Functional Logic Programming, pp. 60–65. ACM Press, New York (2005)

5. Braßel, B., Huch, F.: The Kiel Curry System KiCS. In: Seipel, D., Hanus, M., eds.: Preproceedings of the 21st Workshop on (Constraint) Logic Programming, 215–223 Technical Report 434 (2007)

Cited by 29 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Research Summary on Implementing Functional Patterns by Synthesizing Inverse Functions;Electronic Proceedings in Theoretical Computer Science;2020-09-19

2. An Integrated Approach to Assertion-Based Random Testing in Prolog;Logic-Based Program Synthesis and Transformation;2020

3. Implementing a Library for Probabilistic Programming Using Non-strict Non-determinism;Theory and Practice of Logic Programming;2019-07-02

4. Generating good generators for inductive relations;Proceedings of the ACM on Programming Languages;2018-01

5. Equivalence Checking of Non-deterministic Operations;Functional and Logic Programming;2018