Abstract
CL (Clausal Language) is a computer programming language with mathematical syntax and a proof system based on Peano arithmetic which we have repeatedly used in the teaching of three (first and second year) undergraduate courses covering respectively declarative programming, program verification, and program and abstract data specification.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have