Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Common Algebraic Specification Language
open-in-new
<p>The Common Algebraic Specification Language (CASL) is a general-purpose <a href="/facts/Specification_language/vqNInfdh">specification language</a> based on <a href="/facts/First-order_logic/lcISqWIg">first-order logic</a> with <a href="/facts/Mathematical_induction/KxAPqNrH">induction</a>. <a href="/facts/Partial_function/0vJMw0Nm">Partial functions</a> and <a href="/facts/Subtyping/0L9t8twv">subsorting</a> are also supported. </p>