▼ |  | Redex: Practical Semantics Engineering

1 | Amb: A Redex Tutorial
2 | Long Tutorial
3 | Extended Exercises
4 | The Redex Reference
5 | Automated Testing Benchmark
| Bibliography
| Index

top ← prev up next →

### Bibliography

Andrew W. Appel, Robert Dockins, and Xavier Leroy. A list-machine benchmark for mechanized metatheory. Journal of Automated Reasoning 49(3), pp. 453–491, 2012. http://www.cs.princeton.edu/~appel/listmachine/
Kenneth V. Hanford. Automatic generation of test cases. IBM Systems Journal 9(4), pp. 244–257, 1970. http://dl.acm.org/citation.cfm?id=1663480
Casey Klein, Robert Bruce Findler, and Matthew Flatt. The Racket virtual machine and randomized testing. Higher-Order and Symbolic Computation, 2013. http://plt.eecs.northwestern.edu/racket-machine/
John McCarthy. A Basis for a Mathematical Theory of Computation. In Computer Programming And Formal Systems by P. Braffort and D. Hirschberg (Ed.), 1963. http://www-formal.stanford.edu/jmc/basis.html
Michał H. Pałka, Koen Claessen, Alejandro Russo, and John Hughes. Testing an Optimising Compiler by Generating Random Lambda Terms. In Proc. International Workshop on Automation of Software Test, 2011. http://dl.acm.org/citation.cfm?id=1982615
Asumu Takikawa, T. Stephen Strickland, and Sam Tobin-Hochstadt. Constraining Delimited Control with Contracts. In Proc. European Symposium on Programming, pp. 229–248, 2013. http://dl.acm.org/citation.cfm?id=2450287
Ramin Zabih, David McAllester, and David Chapman. Non-deterministic Lisp with dependency-directed backtracking. In Proc. Proceedings of the Sixth National Conference on Artificial Intelligence, pp. 59–64, 1987.

top ← prev up next →