Constructor-based observational logic
From MaRDI portal
Publication:2369030
Recommendations
Cites work
- Algebraic methodology and software technology. 7th international conference, AMAST '98, Amazonia, Brazil, January 4--8, 1999. Proceedings
- Algebraic-coalgebraic specification in CoCasl.
- Architectural specifications in CASL
- Behavioural and abstractor specifications
- Behavioural theories and the proof of behavioural properties
- CafeOBJ Report. The language, proof techniques, and methodologies for object-oriented algebraicspecification
- CASL reference manual. The complete documentation of the common algebraic specification language.
- CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM.
- CASL: the Common Algebraic Specification Language.
- Context induction: A proof principle for behavioural abstractions and algebraic implementations
- scientific article; zbMATH DE number 1705159 (Why is no real title available?)
- scientific article; zbMATH DE number 3888893 (Why is no real title available?)
- scientific article; zbMATH DE number 1324839 (Why is no real title available?)
- scientific article; zbMATH DE number 517385 (Why is no real title available?)
- scientific article; zbMATH DE number 1142323 (Why is no real title available?)
- scientific article; zbMATH DE number 1487499 (Why is no real title available?)
- scientific article; zbMATH DE number 1368950 (Why is no real title available?)
- scientific article; zbMATH DE number 1368957 (Why is no real title available?)
- scientific article; zbMATH DE number 4113952 (Why is no real title available?)
- scientific article; zbMATH DE number 2087420 (Why is no real title available?)
- Inductive behavioral proofs by unhiding
- Institution morphisms
- Institutions: abstract model theory for specification and programming
- Logical systems for structured specifications.
- Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
- Observational logic, constructor-based logic, and their duality.
- On behavioural abstraction and behavioural satisfaction in higher-order logic
- On observational equivalence and algebraic specification
- Proof of correctness of data representations
- Relating CASL with other specification languages: the institution level.
- Specification of abstract data types
- Specifications in an arbitrary institution
- Towards heterogeneous specifications
Cited in
(32)- On institutions for modular coalgebraic specifications.
- Observational proofs by rewriting.
- Logical foundations of CafeOBJ
- A logic for the stepwise development of reactive systems
- Logical systems for structured specifications.
- Observational logic, constructor-based logic, and their duality.
- Observational interpretations of hybrid dynamic logic with binders and silent transitions
- Omitting types theorem in hybrid dynamic first-order logic with rigid symbols
- Stability of termination and sufficient-completeness under pushouts via amalgamation
- Refinement in hybridised institutions
- scientific article; zbMATH DE number 1705159 (Why is no real title available?)
- Towards behavioral Maude: behavioral membership equational logic
- Circular coinduction: a proof theoretical foundation
- Constructor-based institutions
- Refinement by Interpretation in a General Setting
- Dynamic logic with binders and its application to the development of reactive systems
- Foundations for structuring behavioural specifications
- A short overview of hidden logic
- scientific article; zbMATH DE number 2087420 (Why is no real title available?)
- The foundational legacy of ASL
- Parchments for CafeOBJ logics
- An Institution for Imperative RSL Specifications
- On Automation of OTS/CafeOBJ Method
- Object oriented institutions to specify symbolic computation systems
- Proving Behavioral Refinements of COL-specifications
- Coinduction for preordered algebra
- Behavioral abstraction is hiding information
- Behavioural and abstractor specifications revisited
- On the fragility of interpolation
- Model-theoretic forcing in transition algebra
- Generic constructions for behavioral specifications
- Quasi-Boolean encodings and conditionals in algebraic specification
This page was built for publication: Constructor-based observational logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2369030)
