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)
- A scalable module system
- Partial derivatives of regular expressions and finite automaton constructions
- Title not available (Why is that?)
- Lax theory morphisms
- 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
- 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
- A hidden agenda
- An overview of the K semantic framework
- OBSCURE, a specification language for abstract data types
- Maude: specification and programming in rewriting logic
- Institutions: abstract model theory for specification and programming
- The role of logical interpretations in program development
This page was built for software: OBJ3
