CafeOBJ
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Extra theory morphisms for institutions: Logical semantics for multi-paradigm languages
- Borrowing interpolation
- scientific article; zbMATH DE number 1841841 (Why is no real title available?)
- The rewriting logic semantics project: a progress report
- A dependency pair framework for \(A \vee C\)-termination
- A hidden Herbrand theorem: Combining the object and logic paradigms
- Behavioural specification for hierarchical object composition
- Twenty years of rewriting logic
- Theoretical Aspects of Computing – ICTAC 2005
- Operational termination of membership equational programs: the order-sorted way
- CiMPG+F: a proof generator and fixer-upper for CafeOBJ specifications
- Strict coherence of conditional rewriting modulo axioms
- Transformation techniques for context-sensitive rewrite systems
- FORMAL VALIDATION AND VERIFICATION OF ATOMIC RESOLUTION MICROSCOPE CONTROL AND TOPOGRAPHY
- A Modular Equational Generalization Algorithm
- Stability of termination and sufficient-completeness under pushouts via amalgamation
- scientific article; zbMATH DE number 1507195 (Why is no real title available?)
- Category-based constraint logic
- Equational formulas and pattern operations in initial order-sorted algebras
- scientific article; zbMATH DE number 1497881 (Why is no real title available?)
- Dynamic connectors for concurrency
- Foundations for structuring behavioural specifications
- Equational formulas and pattern operations in initial order-sorted algebras
- Ground confluence of order-sorted conditional specifications modulo axioms
- Structural induction in institutions
- scientific article; zbMATH DE number 2087420 (Why is no real title available?)
- Proving operational termination of membership equational programs
- Maude's module algebra
- A rewriting logic approach to operational semantics
- A Transformational Approach to Prove Outermost Termination Automatically
- scientific article; zbMATH DE number 2086653 (Why is no real title available?)
- An Institution for Imperative RSL Specifications
- Recent Trends in Algebraic Development Techniques
- scientific article; zbMATH DE number 2038715 (Why is no real title available?)
- scientific article; zbMATH DE number 7633799 (Why is no real title available?)
- An Institution-independent Generalization of Tarski's Elementary Chain Theorem
- Semantic foundations for generalized rewrite theories
- Domain engineering
- Bisimulation and Hidden Algebra
- Liveness properties in CafeOBJ -- a case study for meta-level specifications
- Relaxed models for rewriting logic
- CafeOBJ Traces
- Foundations of Software Science and Computation Structures
- Automatic synthesis of logical models for order-sorted first-order theories
- Parchments for CafeOBJ logics
- Principles of proof scores in CafeOBJ
- Generate \& check method for verifying transition systems in CafeOBJ
- Structured theories and institutions
- scientific article; zbMATH DE number 2089377 (Why is no real title available?)
- Foundations of algebraic specification and formal software development.
- Term Rewriting and Applications
- Matching logic
- The 2D dependency pair framework for conditional rewrite systems. I: Definition and basic processors
- Towards Formal Fault Tree Analysis Using Theorem Proving
- Soundness in verification of algebraic specifications with OBJ
- Specification of real-time and hybrid systems in rewriting logic
- scientific article; zbMATH DE number 1342345 (Why is no real title available?)
- Logical foundations of CafeOBJ
- Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application
- Web-based support for cooperative software engineering
- A Proof Score Approach to Formal Verification of an Imperative Programming Language Compiler
- scientific article; zbMATH DE number 1487499 (Why is no real title available?)
- Computationally Equivalent Elimination of Conditions
- Addressed term rewriting systems: application to a typed object calculus
- A short overview of hidden logic
- A semantic approach to interpolation
- From Domain to Requirements
- Verifying Security Protocols for Sensor Networks Using Algebraic Specification Techniques
- Behavioural reasoning for conditional equations
- Combining higher-order and first-order computation using \(\rho\)-calculus: Towards a semantics of ELAN
- Coinduction for preordered algebra
- Comparing logics for rewriting: Rewriting logic, action calculi and tile logic
- Behavioral rewrite systems and behavioral productivity
- Proving termination in the context-sensitive dependency pair framework
- Domain science and engineering from computer science to the sciences of informatics. II: Science
- HasCasl
- Stratego
- CoFI
- Vivid
- MobileOBJ
- JavaFAN
- LARCH
- ELAN
- CASL
- ITP/OCL
- SPINS
- CCSL
- TRAM
- OBJ3
- CIRC
- Maude
- 2OBJ
- Kumo
- Hets
- MMT
- VESTA
- AProVE
- PMaude
- PVeStA
- PAGODA
This page was built for software: CafeOBJ
