References

  1. S. Bechtold, S. Brannen, J. Link, M. Merdes, M. Philipp, J. de Rancourt & C. Stein (2021): JUnit 5 User Guide. https://junit.org/junit5/docs/current/user-guide/.
  2. K. Beck (2002): Test Driven Development. By Example (Addison-Wesley Signature). Addison-Wesley Longman, Amsterdam.
  3. R. Berger (2011): Check Digits—An Application of Modular Arithmetic. https://www.luther.edu/bergerr/assets/Math_260_Check_digits.pdf.
  4. R. S. Boyer & J S. Moore (1980): A Computational Logic. ACM monograph series. Academic Press.
  5. H. R. Chamarthi, P. Dillinger, M. Kaufmann & P. Manolios (2011): Integrating Testing and Interactive Theorem Proving. Electronic Proceedings in Theoretical Computer Science 70, pp. 4–19, doi:10.4204/eptcs.70.1.
  6. J. Davis (2013): Embedding ACL2 Models in End-user Applications. Do-Form: Enabling Domain Experts to Use Formalised Reasoning - AISB Convention 2013, pp. 49–56.
  7. P. Dillinger, P. Manolios, D. Vroon & J S. Moore (2007): ACL2s: The ACL2 Sedan. Electron. Notes Theor. Comput. Sci. 174(2), pp. 3–18, doi:10.1016/j.entcs.2006.09.018.
  8. C. Eastlund (2009): DoubleCheck Your Theorems. In: Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and Its Applications, ACL2 '09. Association for Computing Machinery, New York, NY, USA, pp. 42–46, doi:10.1145/1637837.1637844.
  9. C. Eggensperger (2013): Proof Pad: A New Development Environment for ACL2. In: R. Gamboa & J. Davis: Proceedings International Workshop on the ACL2 Theorem Prover and its Applications, Laramie, Wyoming, USA , May 30-31, 2013, Electronic Proceedings in Theoretical Computer Science 114. Open Publishing Association, pp. 13–28, doi:10.4204/EPTCS.114.2.
  10. M. Felleisen, R. Findler, M. Flatt & S. Krishnamurthi (2018): How to Design Programs: An Introduction to Programming and Computing. The MIT Press.
  11. R. Page & R. Gamboa (2012): How Computers Work: Computational Thinking for Everyone. In: Proceedings First International Workshop on Trends in Functional Programming in Education, TFPIE 2012, University of St. Andrews, Scotland, UK, 11th June 2012., pp. 1–19, doi:10.4204/EPTCS.106.1.
  12. R. Page & R. Gamboa (2013): A More Formal Approach to ``Computer Science: Principles''. In: The 44th ACM Technical Symposium on Computer Science Education, SIGCSE '13, Denver, CO, USA, March 6-9, 2013, pp. 257–262, doi:10.1145/2445196.2445274.
  13. R. L. Page, C. Eastlund & M. Felleisen (2008): Functional programming and theorem proving for undergraduates: a progress report. In: Frank Huch & Adam Parkin: Proceedings of the 2008 international workshop on Functional and declarative programming in education, FDPE@ICFP 2008, Victoria, BC, Canada, September 20 - 28, 2008. ACM, pp. 21–30, doi:10.1145/1411260.1411264.
  14. Pivotal Labs (2022): Jasmine: Behavior-driven JavaScript. https://jasmine.github.io/index.html.
  15. E. Schanzer, K. Fisler, S Krishnamurthi & M. Felleisen (2015): Transferring Skills at Solving Word Problems from Computing to Algebra Through Bootstrap. In: Proceedings of the 46th ACM Technical Symposium on Computer Science Education, SIGCSE '15. Association for Computing Machinery, New York, NY, USA, pp. 61–66, doi:10.1145/2676723.2677238.
  16. D. Vaillancourt, R. Page & M. Felleisen (2006): ACL2 in DrScheme. In: P. Manolios & M. Wilding: Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2006, Seattle, Washington, USA, August 15-16, 2006. ACM, pp. 107–116, doi:10.1145/1217975.1217999.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org