OBJ3
From MaRDI portal
swMATH5370MaRDI QIDQ17510FDOQ17510
Author name not available (Why is that?)
Official website: https://cseweb.ucsd.edu/~goguen/sys/obj.html
Cited In (only showing first 100 items - show all)
- Twenty years of rewriting logic
- A scalable module system
- Partial derivatives of regular expressions and finite automaton constructions
- Bisimulation and Hidden Algebra
- Hidden coinduction: behavioural correctness proofs for objects
- Title not available (Why is that?)
- Function Calls at Frozen Positions in Termination of Context-Sensitive Rewriting
- An approach to object semantics based on terminal co-algebras
- Lax theory morphisms
- Quasi-Boolean encodings and conditionals in algebraic specification
- CASL
- 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
- DDebugger
- MTT
- CiME
- CARIBOO
- SCC
- BMaude
- MU-TERM
- InvA
- Matchbox
- Saigawa
- VMTL
- TPA
- Tsukuba
- UniForM
- TXL
- Maude-NPA
- JCrasher
- CoCasl
- Conditional Confluence
- UNITY
- PolyTOIL
- KIDS
- BESERIAL
- Institution-independent model theory
- How to prove decidability of equational theories with second-order computation analyser SOL
- Jaza
- K-Java
- CafeInMaude
- LATIN
- AADL
- Elf
- A3PAT
- SymPLFIED
- MGS
- DTRE
- bc
- TAMARIN
- CITP
- GETFOL
- ABCL
- CoCoWeb
- CO3
- Cops
- FORT
- Centaur
- Java+ITP
- K Prover
- KOOL
- UNITS
- SOL
- Institution morphisms
- A hidden agenda
- Functorial semantics of first-order views
- Parameterisation for abstract structured specifications
- An axiomatic approach to structuring specifications
- On the algebra of structured specifications
- An overview of the K semantic framework
- OBSCURE, a specification language for abstract data types
- Maude: specification and programming in rewriting logic
- Operational termination of conditional term rewriting systems
- Conditional rewriting logic as a unified model of concurrency
- Institutions: abstract model theory for specification and programming
- Equational rules for rewriting logic
- The role of logical interpretations in program development
- Operational termination of membership equational programs: the order-sorted way
This page was built for software: OBJ3