Login
   

e/Common Algebraic Specification Language

New Query

Information
has glosseng: The Common Algebraic Specification Language (CASL) is a general-purpose specification language based on first-order logic with induction. Partial functions and subsorting are also supported.
lexicalizationeng: Common Algebraic Specification Language
instance ofc/Formal specification languages

Query

Word: (case sensitive)
Language: (ISO 639-3 code, e.g. "eng" for English)

Lexvo © 2008-2026 Gerard de Melo.   Contact   Legal Information / Imprint