Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,741,296 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
The ForMaRE Project - Formal Mathematical Reasoning in Economics
C. Lange
,
C. Rowat
,
Manfred Kerber
MKM/Calculemus/DML
2013
Corpus ID: 18992798
The ForMaRE project applies formal mathematical reasoning to economics. We seek to increase confidence in economics' theoretical…
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
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
Highly Cited
2002
Highly Cited
2002
Toward Component-Oriented Formal Software Development: An Algebraic Approach
M. Bidoit
,
D. Sannella
,
A. Tarlecki
Radical Innovations of Software and Systems…
2002
Corpus ID: 564794
Component based design and development of software is one of the most challenging issues in software engineering. In this paper…
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
2000
2000
State-Based Extensions of CASL
H. Baumeister
,
A. Zamulin
International Conference on Integrated Formal…
2000
Corpus ID: 8260174
A state-based extension of the algebraic specification language CASL is presented. It permits the specification of the static…
Expand
1997
1997
CoFI: The Common Framework Initiative for Algebraic Specification
Peter D. Mosses
Bull. EATCS
1997
Corpus ID: 64452627
An open collaborative effort has been initiated: to design a common framework for algebraic specification and development of…
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