References

1. Jean-Raymond Abrial (1996): The B-Book: Assigning Programs to Meanings. Cambridge University Press, doi:10.1017/CBO9780511624162.
2. The ACL2 Sedan. http://acl2s.ccs.neu.edu/acl2s/doc/.
3. Alessandro Coglio (2014): Pop-Refinement. Archive of Formal Proofs. http://afp.sf.net/entries/Pop_Refinement.shtml, Formal proof development.
4. Alessandro Coglio (2015): Second-Order Functions and Theorems in ACL2. In: Proc. 13th International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2-2015), Electronic Proceedings in Theoretical Computer Science (EPTCS), pp. 17–33, doi:10.4204/EPTCS.192.3.
5. Alessandro Coglio, Matt Kaufmann & Eric Smith (2017): A Versatile, Sound Tool for Simplifying Definitions. In: Proc. 14th International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2-2017), pp. 61–77, doi:10.4204/EPTCS.249.5.
6. Alessandro Coglio & Stephen Westfold (2020): Isomorphic Data Type Transformations. In: Proc. 16th International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2-2020), pp. 125–141, doi:10.4204/EPTCS.327.12.
7. Jared Davis (2013): Embedding ACL2 Models in End-User Applications. In: Proc. 11th International Workshop on the ACL2 Theorem Prover and its Applications (ACL2-2013), pp. 2–4.
8. Edsger W. Dijkstra (1968): A Constructive Approach to the Problem of Program Correctness. BIT 8(3), doi:10.1007/BF01933419.
9. Docker Engine. https://www.docker.com/products/container-runtime/.
10. Ruben Gamboa: Jupyter Kernel for ACL2: Source Code. https://github.com/rubengamboa/acl2_jupyter.
11. Paul Hudak (1996): Building Domain-Specific Embedded Languages. ACM Computing Surveys 28(4es), doi:10.1145/242224.242477.
12. Cliff Jones (1990): Systematic Software Development using VDM, second edition. Prentice Hall.
13. Matt Kaufmann & J Strother Moore: The ACL2 Theorem Prover. http://acl2.org.
14. Kestrel Institute: APT. https://www.kestrel.edu/research/apt.
15. Kestrel Institute: Specware. https://www.kestrel.edu/research/specware.
16. Fernando Pérez & Brian E. Granger (2007): IPython: A System for Interactive Scientific Computing. Computing in Science and Engineering 9(3), pp. 21–29, doi:10.1109/MCSE.2007.53. Available at https://ipython.org.
17. Douglas R. Smith (1990): KIDS: A Semi-Automatic Program Development System. IEEE Transactions on Software Engineering — Special Issue on Formal Methods 16(9), pp. 1024–1043, doi:10.1109/32.58788.
18. J. M. Spivey (1992): The Z Notation: A Reference Manual, second edition. Prentice Hall.
19. SRI International: PVS. http://pvs.csl.sri.com.
20. Sol Swords & Jared Davis (2015): Fix Your Types. In: Proc. 13th International Workshop on the ACL2 Theorem Prover and its Applications (ACL2-2015), pp. 3–16, doi:10.4204/EPTCS.192.2.
21. The ACL2 Community: The ACL2 Theorem Prover and Community Books: Documentation. http:/acl2.org/manual.
22. The ACL2 Community: The ACL2 Theorem Prover and Community Books: Source Code. http://github.com/acl2/acl2.
23. Visual Studio Code. https://code.visualstudio.com/.
24. Xtext. https://www.eclipse.org/Xtext/.

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org