Tags: Programming Language.
The Common Algebraic Specification Language (CASL) is a general-purpose specification languagebased on first-order logic with induction.
Tags: Programming Language.
The Common Algebraic Specification Language (CASL) is a general-purpose specification languagebased on first-order logic with induction.
Loading...
This page contains content from the copyrighted Wikipedia article "Common Algebraic Specification Language"; that content is used under the GNU Free Documentation License (GFDL). You may redistribute it, verbatim or modified, providing that you comply with the terms of the GFDL.