Two "Functional Programming" Sublanguages of CASL
21 March 1998
This document is available by
in various formats.
It was converted to HTML using
We define two sublanguages of CASL that can be easily
mapped to functional programs. One of them allows
to specify arbitrary partial recursive functions,
the other one is restricted to total recursive
Note: L-9 --Version 1.0-- 21 March 1998.
Comments to email@example.com