Cited in
(only showing first 100 items - show all)- scientific article; zbMATH DE number 1231655 (Why is no real title available?)
- Promoting rewriting to a programming language: A compiler for non-deterministic rewrite programs in associative-commutative theories
- scientific article; zbMATH DE number 1841841 (Why is no real title available?)
- A hidden Herbrand theorem: Combining the object and logic paradigms
- Behavioural specification for hierarchical object composition
- Twenty years of rewriting logic
- Operational termination of membership equational programs: the order-sorted way
- Essential concepts of algebraic specification and program development
- Strict coherence of conditional rewriting modulo axioms
- The formal specification of safety requirements for storing explosives
- Transformation techniques for context-sensitive rewrite systems
- FORMAL VALIDATION AND VERIFICATION OF ATOMIC RESOLUTION MICROSCOPE CONTROL AND TOPOGRAPHY
- An Object-Oriented Component Model for Heterogeneous Nets
- A Modular Equational Generalization Algorithm
- An algebraic approach to compiler design
- May I borrow your logic? (Transporting logical structures along maps)
- A scalable module system
- Equational formulas and pattern operations in initial order-sorted algebras
- Equational formulas and pattern operations in initial order-sorted algebras
- Partial derivatives of regular expressions and finite automaton constructions
- scientific article; zbMATH DE number 795679 (Why is no real title available?)
- Ground confluence of order-sorted conditional specifications modulo axioms
- Proving operational termination of membership equational programs
- Formal specification of topological subdivisions using hypermaps
- Just-in-time: on strategy annotations
- A rewriting logic approach to operational semantics
- scientific article; zbMATH DE number 2086653 (Why is no real title available?)
- Recent Trends in Algebraic Development Techniques
- Rewriting, inference, and proof
- Order-sorted algebraic specifications with higher-order functions
- Bisimulation and Hidden Algebra
- Hidden coinduction: behavioural correctness proofs for objects
- CafeOBJ Traces
- scientific article; zbMATH DE number 5268066 (Why is no real title available?)
- Automatic synthesis of logical models for order-sorted first-order theories
- Parchments for CafeOBJ logics
- Principles of proof scores in CafeOBJ
- Domain endurants. An analysis and description process model
- Structured theories and institutions
- Function Calls at Frozen Positions in Termination of Context-Sensitive Rewriting
- Termination of rewriting with strategy annotations
- Category-based modularisation for equational logic programming
- Morphism axioms
- On-demand strategy annotations revisited: an improved on-demand evaluation strategy
- First-Order Logic with Dependent Types
- Proving termination of context-sensitive rewriting by transformation
- An approach to object semantics based on terminal co-algebras
- The 2D dependency pair framework for conditional rewrite systems. I: Definition and basic processors
- scientific article; zbMATH DE number 1395608 (Why is no real title available?)
- scientific article; zbMATH DE number 1231543 (Why is no real title available?)
- Logical foundations of CafeOBJ
- Abstract data type systems
- A Proof Score Approach to Formal Verification of an Imperative Programming Language Compiler
- Computationally Equivalent Elimination of Conditions
- CASL: the Common Algebraic Specification Language.
- Applications and extensions of context-sensitive rewriting
- Lax theory morphisms
- scientific article; zbMATH DE number 1231656 (Why is no real title available?)
- Invariant-driven specifications in Maude
- A metamodel of access control for distributed environments: applications and properties
- Jakarta
- CLEAN
- Stratego
- Symstra
- CoFI
- JavaFAN
- LARCH
- ELAN
- CASL
- ToolBus
- OBSCURE
- ATERM
- CCSL
- POOL
- TAMPR
- TRAM
- Miranda
- CIRC
- CafeOBJ
- Maude
- 2OBJ
- Kumo
- Hets
- Eclat
- Rostra
- Z2sal
- MMT
- AProVE
- STEXIDE
- Tyrolean
- PMaude
- PVeStA
- Creol
- OOZE
- ChC 3
- CSI
- CRC 3
- K-Maude
- MFE
- ITP
This page was built for software: OBJ3
