swMATH6232MaRDI QIDQ18366FDOQ18366
Author name not available (Why is that?)
Official website: http://www.ldl.jaist.ac.jp/cafeobj/
Cited In (only showing first 100 items - show all)
- Twenty years of rewriting logic
- CiMPG+F: a proof generator and fixer-upper for CafeOBJ specifications
- Proving operational termination of membership equational programs
- An Institution-independent Generalization of Tarski's Elementary Chain Theorem
- Bisimulation and Hidden Algebra
- Semantic foundations for generalized rewrite theories
- Foundations of algebraic specification and formal software development.
- Specification of real-time and hybrid systems in rewriting logic
- Title not available (Why is that?)
- Behavioural reasoning for conditional equations
- Coinduction for preordered algebra
- Quasi-Boolean encodings and conditionals in algebraic specification
- HasCasl
- Title not available (Why is that?)
- Vivid
- CASL
- OBJ3
- CIRC
- Maude
- 2OBJ
- Kumo
- Hets
- MMT
- VESTA
- AProVE
- PMaude
- PVeStA
- PAGODA
- CSI
- CRC 3
- K tool
- K-Maude
- MFE
- ITP
- DDebugger
- MTT
- CafePie
- CARIBOO
- SCC
- GROVER
- Dist-Orc
- BMaude
- Jambox
- MU-TERM
- MOMENT2
- InvA
- Marvin
- Saigawa
- UML2Alloy
- VMTL
- TPA
- Tsukuba
- Maude-NPA
- CoCasl
- Conditional Confluence
- UNITY
- Algebraic simulations
- Institution-independent model theory
- How to prove decidability of equational theories with second-order computation analyser SOL
- K-Java
- CafeInMaude
- AADL
- SymPLFIED
- Hyperproof
- EXPANDER
- bc
- TAMARIN
- ASENT
- CITP
- ReliaSoft
- Refal
- Centaur
- Z3str2
- Java+ITP
- K Prover
- UNITS
- SOL
- Institution morphisms
- CiMPA
- CiMPG
- JSNice
- A hidden agenda
- Swinging types=functions+relations+transition systems
- CrEme
- Functorial semantics of first-order views
- Parameterisation for abstract structured specifications
- An axiomatic approach to structuring specifications
- Dependency pairs for proving termination properties of conditional term rewriting systems
- On the algebra of structured specifications
- HasCasl: integrated higher-order specification and program development
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
- Vivid: a framework for heterogeneous problem solving
- Saturated models in institutions
- Maude: specification and programming in rewriting logic
- Operational termination of conditional term rewriting systems
- CafeOBJ Report. The language, proof techniques, and methodologies for object-oriented algebraicspecification
- A formal proof generator from semi-formal proof documents
- The role of logical interpretations in program development
- Composing hidden information modules over inclusive institutions
- The rewriting logic semantics project: a progress report
This page was built for software: CafeOBJ
