Skip to search formSkip to main contentSkip to account menu

Common Algebraic Specification Language

Known as: CASL 
The Common Algebraic Specification Language (CASL) is a general-purpose specification languagebased on first-order logic with induction. Partial… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
The ForMaRE project applies formal mathematical reasoning to economics. We seek to increase confidence in economics' theoretical… 
2010
2010
Logical frameworks like LF are used for formal representations of logics in order to make them amenable to formal machine… 
2009
2009
Introduction Arterial spin labeling (ASL) is a noninvasive method for measuring cerebral blood flow (CBF). There are two broad… 
2008
2008
We present a knowledge exchange format that is designed to support the exchange of modularly structured information in… 
Highly Cited
2002
Highly Cited
2002
Component based design and development of software is one of the most challenging issues in software engineering. In this paper… 
2002
2002
  • 2002
  • Corpus ID: 10091141
Permission is granted to anyone to make or distribute verbatim copies of this document, in any medium, provided that the… 
2002
2002
La representation mathematique des objets geometriques, la complexite et le nombre d'algorithmes necessaires a leur manipulation… 
2001
2001
We revisit the concept of persistent functor pointing out its well known limitations for the purpose of describing the semantics… 
2000
2000
A state-based extension of the algebraic specification language CASL is presented. It permits the specification of the static… 
1997
1997
An open collaborative effort has been initiated: to design a common framework for algebraic specification and development of…