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.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Komara, J., Voda, P.J. (1998). Computer Programming as Mathematics in a Programming Language and Proof System CL. In: de Swart, H. (eds) Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 1998. Lecture Notes in Computer Science(), vol 1397. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-69778-0_12
Download citation
DOI: https://doi.org/10.1007/3-540-69778-0_12
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64406-4
Online ISBN: 978-3-540-69778-7
eBook Packages: Springer Book Archive