Abstract and concrete categories
Abstract and concrete categories
ML for the working programmer
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
Relating CASL with other specification languages: the institution level
Theoretical Computer Science
Semantics of Architectural Specifications in CASL
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Checking Amalgamability Conditions for C ASL Architectural Specifications
MFCS '01 Proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science
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
Extending Casl by Late Binding
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
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
Amalgamation in the semantics of CASL
Theoretical Computer Science - Automata, languages and programming
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
Heterogeneous Development Graphs and Heterogeneous Borrowing
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
Hi-index | 0.00 |
We describe a way to make the static analysis for the inthe-large part of the Common Algebraic Specification Language (CASL) independent of the underlying logic that is used for specification in-the-small. The logic here is formalized as an institution with some extra components. Following the institution independent semantics of CASL in-the-large, we thus get an institution independent static analysis for CASL in-the-large. With this, it is possible to re-use the CASL static analysis for extensions of CASL, or even completely different logics. One only has to provide a static analysis for specifications in-the-small for the given logic. This then can be plugged into the generic static analysis for CASL in-the-large.