References

  1. ACL2 Community (accessed December, 2016): ACL2+Books Documentation. See URL http://www.cs.utexas.edu/~moore/acl2/manuals/current/manual?topic=ACL2____ACL2.
  2. Richard S. Bird & Oege de Moor (1997): Algebra of programming. Prentice Hall International series in computer science. Prentice Hall.
  3. Jack Bresenham (1965): Algorithm for Computer Control of a Digital Plotter. IBM Systems Journal 4(1), pp. 25–30, doi:10.1147/sj.41.0025.
  4. Alessandro Coglio (2015): Second-Order Functions and Theorems in ACL2. In: Proceedings of the Thirteenth International Workshop on the ACL2 Theorem Prover and its Applications, doi:10.1145/1637837.1637839.
  5. Kestrel Institute & University of Texas at Austin (accessed January, 2017): APT (Automated Program Transformations). http://www.kestrel.edu/home/projects/apt.
  6. Matt Kaufmann (2003): A Tool for Simplifying Files of ACL2 Definitions. In: Proceedings of the Fourth International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2003, Boulder, Colorado, USA, July 13-14, 2003..
  7. Douglas R. Smith (1990): KIDS: A Semiautomatic Program Development System. IEEE Trans. Software Eng. 16(9), pp. 1024–1043, doi:10.1109/32.58788.
  8. Eric W. Smith (2011): Axe: An Automated Formal Equivalence Checking Tool for Programs. Ph.D. dissertation. Stanford University.

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