ITP
From MaRDI portal
swMATH9808MaRDI QIDQ21787FDOQ21787
scientific article; zbMATH DE number Author name (Why is no real title available?)
Official website: http://maude.sip.ucm.es/itp/
(59)
- Typed mobile ambients in Maude
- A hierarchy of semantics for non-deterministic term rewriting systems
- A tutorial on specifying data structures in Maude
- Deduction, strategies, and rewriting
- Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic
- Programming and symbolic computation in Maude
- Integrating Maude into Hets
- Theoretical Aspects of Computing – ICTAC 2005
- Proof Search for the First-Order Connection Calculus in Maude
- A Modular Equational Generalization Algorithm
- Equational abstractions
- Order-sorted generalization
- On First-Order Model-Based Reasoning
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
- Algebraic simulations
- Metalevel algorithms for variant satisfiability
- KeY-C
- Jakarta
- JavaFAN
- LETOS
- OBJ3
- CafeOBJ
- Maude
- The rewriting logic semantics project
- MMT
- MultiVeStA
- PMaude
- PVeStA
- ChC 3
- CRC 3
- MFE
- DDebugger
- MTT
- CARIBOO
- SCC
- MOMENT2
- PSMaude
- Maude-NPA
- A modular order-sorted equational generalization algorithm
- ModGen
- TAMARIN
- CITP
- Refal
- Java+ITP
- infChecker
- Metalevel algorithms for variant satisfiability
- Constructors, sufficient completeness, and deadlock freedom of rewrite theories
- Marathon 2
- ROSMonitoring
- Term Rewriting and Applications
- On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories
- Proving semantic properties as first-order satisfiability
- The rewriting logic semantics project
- Verification of the ROS NavFn planner using executable specification languages
- From hidden to visible: a unified framework for transforming behavioral theories into rewrite theories
- Twenty years of rewriting logic
- Sufficient completeness verification for conditional and constrained TRS
- Principles of proof scores in CafeOBJ
- A metamodel of access control for distributed environments: applications and properties
This page was built for software: ITP
