Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 232,793,419 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
14 relations
Algebraic specification
Communicating sequential processes
Concurrency (computer science)
First-order logic
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
NUCLEATION SITE DENSITY, BUBBLE DEPARTURE DIAMETER, WAIT TIME AND LOCAL TEMPERATURE DISTRIBUTION IN SUBCOOLED FLOW BOILING OF WATER AT ATMOSPHERIC PRESSURE B. Phillips, J. Buongiorno and T. McKrell
T. Mckrell
2013
Corpus ID: 160006182
The physics of subcooled flow boiling of water were explored using high-speed video (HSV), and infrared (IR) thermography. HSV…
Expand
2010
2010
A Proof Theoretic Interpretation of Model Theoretic Hiding
M. Codescu
,
Fulya Horozal
,
M. Kohlhase
,
Till Mossakowski
,
Florian Rabe
Workshop on Recent Trends in Algebraic…
2010
Corpus ID: 6704135
Logical frameworks like LF are used for formal representations of logics in order to make them amenable to formal machine…
Expand
2010
2010
Programming via Rewriting
V. E. Cazanescu
12th International Symposium on Symbolic and…
2010
Corpus ID: 34876511
Programming via rewriting is a part of the declarative programming which is illustrated by the languages: OBJ, Maude, CafeOBJ…
Expand
2009
2009
Comparison of reproducibility between continuous , pulsed , and pseudo-continuous arterial spin labeling
Y. Chen
,
J. Wang
,
M. Korczykowski
,
M. Fernández-Seara
,
J. Detre
2009
Corpus ID: 1468490
Introduction Arterial spin labeling (ASL) is a noninvasive method for measuring cerebral blood flow (CBF). There are two broad…
Expand
2008
2008
An Exchange Format for Modular Knowledge
Florian Rabe
,
M. Kohlhase
LPAR Workshops
2008
Corpus ID: 2894746
We present a knowledge exchange format that is designed to support the exchange of modularly structured information in…
Expand
2002
2002
The Common Algebraic Specification Language : the Common Framework Initiative
2002
Corpus ID: 10091141
Permission is granted to anyone to make or distribute verbatim copies of this document, in any medium, provided that the…
Expand
2002
2002
Spécifications formelles du chanfreinage
Franck Ledoux
,
J. Mota
,
Agnès Arnould
,
C. Dubois
,
P. Gall
,
Y. Bertrand
Techniques et sciences informatiques
2002
Corpus ID: 38015839
La representation mathematique des objets geometriques, la complexite et le nombre d'algorithmes necessaires a leur manipulation…
Expand
2001
2001
Specification of Parametrized Programs - Persistency Revisited
Yngve Lamo
,
M. Walicki
Nordic Journal of Computing
2001
Corpus ID: 15659525
We revisit the concept of persistent functor pointing out its well known limitations for the purpose of describing the semantics…
Expand
2001
2001
Algebraic specification in CASL
H. Baumeister
,
Didier Bert
2001
Corpus ID: 53799784
The acronym Casl stands for Common Algebraic Specification Language [1]. It is a language designed by the IFIP WG1.31 working…
Expand
1999
1999
Using CASL to Specify the Requirements and the Design: A Problem Specific Approach
C. Choppy
,
G. Reggio
Workshop on Recent Trends in Algebraic…
1999
Corpus ID: 13426864
In [11] M. Jackson introduces the concept of problem frame to describe specific classes of problems, to help in the specification…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE