Report on the Larch shared language
Science of Computer Programming
Systematic software development using VDM
Systematic software development using VDM
Extended ML: an institution-independent framework for formal program development
Proceedings of a tutorial and workshop on Category theory and computer programming
Specifications in an arbitrary institution
Information and Computation - Semantics of Data Types
Programming in Martin-Lo¨f's type theory: an introduction
Programming in Martin-Lo¨f's type theory: an introduction
Revised ACT ONE: categorical constructions for an algebraic specification language
Categorical methods in computer science with aspects from topology
Algebraic system specification and development
Algebraic system specification and development
Handbook of theoretical computer science (vol. B)
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
Larch: languages and tools for formal specification
Larch: languages and tools for formal specification
Algebraic specification techniques and tools for software development: the ACT approach
Algebraic specification techniques and tools for software development: the ACT approach
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
Specification of abstract data types
Specification of abstract data types
The discrete time TOOLBUS—a software coordination architecture
Science of Computer Programming
Software—Practice & Experience
Data Type Specification: Parameterization and the Power of Specification Techniques
ACM Transactions on Programming Languages and Systems (TOPLAS)
Algebraic Foundations of Systems Specification
Algebraic Foundations of Systems Specification
Relating CASL with other specification languages: the institution level
Theoretical Computer Science
Specifying Real Numbers in CASL
WADT '99 Selected papers from the 14th International Workshop on Recent Trends in Algebraic Development Techniques
Towards an Evolutionary Formal Software-Development Using CASL
WADT '99 Selected papers from the 14th International Workshop on Recent Trends in Algebraic Development Techniques
Development of Parsing Tools for CASL Using Generic Language Technology
WADT '99 Selected papers from the 14th International Workshop on Recent Trends in Algebraic Development Techniques
Static semantic analysis and theorem proving for CASL
WADT '97 Selected papers from the 12th International Workshop on Recent Trends in Algebraic Development Techniques
Subsorted Partial Higher-Order Locig as an Extension of CASL
WADT '99 Selected papers from the 14th International Workshop on Recent Trends in Algebraic Development Techniques
Specifications in an Arbitrary Institution with Symbols
WADT '99 Selected papers from the 14th International Workshop on Recent Trends in Algebraic Development Techniques
Selected papers from the 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop on Recent Trends in Data Type Specification
Permissive Subsorted Partial Logic in CASL
AMAST '97 Proceedings of the 6th International Conference on Algebraic Methodology and Software Technology
The KIV-Approach to Software Verification
KORSO - Methods, Languages, and Tools for the Construction of Correct Software
A Compiler for Rewrite Programs in Associative-Commutative Theories
PLILP '98/ALP '98 Proceedings of the 10th International Symposium on Principles of Declarative Programming
CoFI: The Common Framework Initiative for Algebraic Specification and Development
TAPSOFT '97 Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
A Kernel Language for Algebraic Specification and Implementation - Extended Abstract
Proceedings of the 1983 International FCT-Conference on Fundamentals of Computation Theory
Foundations of Algebraic Specification and Formal Software Development
Foundations of Algebraic Specification and Formal Software Development
Algebraic'97 Proceedings of the 2nd international conference on Theory and Practice of Algebraic Specifications
Relating CASL with other specification languages: the institution level
Theoretical Computer Science
Towards Trustworthy Specifications I: Consistency Checks
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
Verifying Architectural Specifications
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
From Specifications to Code in CASL
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
HASCASL: Towards Integrated Specification and Development of Functional Programs
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Unit Testing for C88 ASL Architectural Specifications
MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
Global Development via Local Observational Construction Steps
MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
On the Integration of Observability and Reachability Concepts
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
Observational logic, constructor-based logic, and their duality
Theoretical Computer Science - Foundations of software science and computation structures
Institution-independent ultraproducts
Fundamenta Informaticae
Interpolation in Grothendieck institutions
Theoretical Computer Science
Herbrand theorems in arbitrary institutions
Information Processing Letters
Amalgamation in the semantics of CASL
Theoretical Computer Science - Automata, languages and programming
Relational analysis of algebraic datatypes
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Pragmatic Consistency Management in Industrial Requirements Specifications
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
CSP-CASL: a new integration of process algebra and algebraic specification
Theoretical Computer Science - Algebraic methods in language processing
Behavioural specification for hierarchical object composition
Theoretical Computer Science - Formal methods for components and objects
Implementing Local Intervals in CASL
Electronic Notes in Theoretical Computer Science (ENTCS)
Observational interpretation of casl specifications
Mathematical Structures in Computer Science
Development of a Generic Voter under FoCal
TAP '09 Proceedings of the 3rd International Conference on Tests and Proofs
Implicit Propagation in Structural Operational Semantics
Electronic Notes in Theoretical Computer Science (ENTCS)
An encoding of partial algebras as total algebras
Information Processing Letters
The VSE Refinement Method in Hets
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Integration of formal datatypes within state diagrams
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Component-based security policy design with colored Petri nets
Semantics and algebraic specification
Constructor-based institutions
CALCO'09 Proceedings of the 3rd international conference on Algebra and coalgebra in computer science
Relationships and data sanitization: a study in scarlet
Proceedings of the 2010 workshop on New security paradigms
Memory-access-aware data structure transformations for embedded software with dynamic data accesses
IEEE Transactions on Very Large Scale Integration (VLSI) Systems - Special section on the 2002 international symposium on low-power electronics and design (ISLPED)
Rule-based programming and proving: the ELAN experience outcomes
ASIAN'04 Proceedings of the 9th Asian Computing Science conference on Advances in Computer Science: dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday
Application and formal specification of sorted term-position algebras
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
Decidability of term algebras extending partial algebras
CSL'05 Proceedings of the 19th international conference on Computer Science Logic
Externalized and internalized notions of behavioral refinement
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
Justifications for the event-b modelling notation
B'07 Proceedings of the 7th international conference on Formal Specification and Development in B
Specification of an ontology for route graphs
SC'04 Proceedings of the 4th international conference on Spatial Cognition: reasoning, Action, Interaction
Building a modal interface theory for concurrency and data
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
Towards logical frameworks in the heterogeneous tool set hets
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
Institution-independent Ultraproducts
Fundamenta Informaticae
Interpolation in logics with constructors
Theoretical Computer Science
Institutional semantics for many-valued logics
Fuzzy Sets and Systems
Hi-index | 5.23 |
The Common Algebraic Specification Language (CASL) is an expressive language for the formal specification of functional requirements and modular design of software. It has been designed by CoFI, the international Common Framework Initiative for algebraic specification and development. It is based on a critical selection of features that have already been explored in various contexts, including subsorts, partial functions, first-order logic, and structured and architectural specifications. CASL should facilitate interoperability of many existing algebraic prototyping and verification tools.This paper gives an overview of the CASL design. The major issues that had to be resolved in the design process are indicated, and all the main concepts and constructs of CASL are briefly explained and illustrated -- the reader is referred to the CASL Language Summary for further details. Some familiarity with the fundamental concepts of algebraic specification would be advantageous.