Author:
Fetscher Burke,Claessen Koen,Pałka Michał,Hughes John,Findler Robert Bruce
Publisher
Springer Berlin Heidelberg
Reference27 articles.
1. Claire, E., Alvis, J.J., Willcock, K.M., Carter, W.E.: Byrd, and Daniel P. Friedman. cKanren: miniKanren with Constraints. In: Proc. Scheme and Functional Programming (2011)
2. Appel, A.W., Dockins, R., Leroy, X.: A list-machine benchmark for mechanized metatheory. Journal of Automated Reasoning 49(3), 453–491 (2012)
3. Baader, F., Snyder, W.: Unification Theory. In: Handbook of Automated Reasoning, vol. 1, pp. 445–532 (2001)
4. Bourjarwah, A.S., Saleh, K.: Compiler test case generation methods: a survey and assessment. Information & Software Technology 39(9), 617–625 (1997)
5. Byrd, W.E.: Relational Programming in miniKanren: Techniques, Applications, and Implementations. PhD dissertation, Indiana University (2009)
Cited by
28 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Generating Well-Typed Terms That Are Not “Useless”;Proceedings of the ACM on Programming Languages;2024-01-05
2. Generating Conforming Programs with Xsmith;Proceedings of the 22nd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences;2023-10-22
3. Etna: An Evaluation Platform for Property-Based Testing (Experience Report);Proceedings of the ACM on Programming Languages;2023-08-30
4. Merging Inductive Relations;Proceedings of the ACM on Programming Languages;2023-06-06
5. Covering All the Bases: Type-Based Verification of Test Input Generators;Proceedings of the ACM on Programming Languages;2023-06-06