Relating CASL with other specification languages: the institution level.
From MaRDI portal
Recommendations
- Publication:4941934
- CASL: the Common Algebraic Specification Language.
- scientific article; zbMATH DE number 1629958
- Algebraic Methodology and Software Technology
- A language for configuring multi-level specifications
- scientific article; zbMATH DE number 1617294
- scientific article; zbMATH DE number 1693525
- Recent Trends in Algebraic Development Techniques
- Institutions for OCL-like expression languages
Cites work
- scientific article; zbMATH DE number 1617291 (Why is no real title available?)
- scientific article; zbMATH DE number 1617295 (Why is no real title available?)
- scientific article; zbMATH DE number 1617302 (Why is no real title available?)
- scientific article; zbMATH DE number 1629958 (Why is no real title available?)
- scientific article; zbMATH DE number 1696893 (Why is no real title available?)
- scientific article; zbMATH DE number 4130339 (Why is no real title available?)
- scientific article; zbMATH DE number 4180819 (Why is no real title available?)
- scientific article; zbMATH DE number 3888893 (Why is no real title available?)
- scientific article; zbMATH DE number 3821094 (Why is no real title available?)
- scientific article; zbMATH DE number 3945331 (Why is no real title available?)
- scientific article; zbMATH DE number 3949706 (Why is no real title available?)
- scientific article; zbMATH DE number 3963900 (Why is no real title available?)
- scientific article; zbMATH DE number 4033040 (Why is no real title available?)
- scientific article; zbMATH DE number 4106820 (Why is no real title available?)
- scientific article; zbMATH DE number 1189278 (Why is no real title available?)
- scientific article; zbMATH DE number 1189286 (Why is no real title available?)
- scientific article; zbMATH DE number 1189287 (Why is no real title available?)
- scientific article; zbMATH DE number 43398 (Why is no real title available?)
- scientific article; zbMATH DE number 193539 (Why is no real title available?)
- scientific article; zbMATH DE number 517385 (Why is no real title available?)
- scientific article; zbMATH DE number 575948 (Why is no real title available?)
- scientific article; zbMATH DE number 1107619 (Why is no real title available?)
- scientific article; zbMATH DE number 1113861 (Why is no real title available?)
- scientific article; zbMATH DE number 1988959 (Why is no real title available?)
- scientific article; zbMATH DE number 2079806 (Why is no real title available?)
- scientific article; zbMATH DE number 194509 (Why is no real title available?)
- scientific article; zbMATH DE number 195102 (Why is no real title available?)
- scientific article; zbMATH DE number 1368949 (Why is no real title available?)
- scientific article; zbMATH DE number 807132 (Why is no real title available?)
- scientific article; zbMATH DE number 3417640 (Why is no real title available?)
- Axioms for abstract model theory
- CASL: the Common Algebraic Specification Language.
- CafeOBJ Report. The language, proof techniques, and methodologies for object-oriented algebraicspecification
- Conditional rewriting logic as a unified model of concurrency
- Equational type logic
- Equivalence and difference between institutions: simulating Horn Clause Logic with based algebras
- Extra theory morphisms for institutions: Logical semantics for multi-paradigm languages
- Free objects and equational deduction for partial conditional specifications
- Institutions: abstract model theory for specification and programming
- Logical systems for structured specifications.
- May I borrow your logic? (Transporting logical structures along maps)
- Module algebra
- On the existence of free models in abstract algebraic institutions
- Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems
- Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
- Partial algebras-survey of a unifying approach towards a two-valued model theory for partial algebras
- Pushout complements for partly total algebras
- Report on the Larch shared language
- Specifications in an arbitrary institution
- Towards heterogeneous specifications
Cited in
(22)- CSP-CASL -- a new integration of process algebra and algebraic specification
- Institution-based encoding and verification of simple UML state machines in CASL/SPASS
- Manipulating algebraic specifications with term-based and graph-based representations
- CSP-CASL-Prover: a generic tool for process and data refinement
- CASL: the Common Algebraic Specification Language.
- Quasi-Boolean encodings and conditionals in algebraic specification
- Constructor-based observational logic
- Specifying with syntactic theory functors
- An encoding of partial algebras as total algebras
- Encapsulating formal methods within domain specific languages: a solution for verifying railway scheme plans
- Algebraic-coalgebraic specification in CoCASL
- scientific article; zbMATH DE number 1617291 (Why is no real title available?)
- scientific article; zbMATH DE number 1418371 (Why is no real title available?)
- Generalized Theoroidal Institution Comorphisms
- HasCasl: integrated higher-order specification and program development
- What is a logic translation?
- Saturated models in institutions
- Ultraproducts and possible worlds semantics in institutions
- Foundations of logic programming in hybrid logics with user-defined sharing
- Abstract Beth definability in institutions
- An institutional approach to communicating UML state machines
- Forcing, downward Löwenheim-Skolem and omitting types theorems, institutionally
This page was built for publication: Relating CASL with other specification languages: the institution level.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1853458)
