The following pages link to Automated Reasoning (Q5307047):
Displaying 30 items.
- The rewriting logic semantics project: a progress report (Q393080) (← links)
- Connectors as designs: modeling, refinement and test case generation (Q433336) (← links)
- A language-independent proof system for full program equivalence (Q510898) (← links)
- Creol: A type-safe object-oriented model for distributed concurrent systems (Q854164) (← links)
- A rewriting logic framework for operational semantics of membrane systems (Q877021) (← links)
- The rewriting logic semantics project (Q877024) (← links)
- An algebraic semantics for MOF (Q973052) (← links)
- An overview of the K semantic framework (Q987974) (← links)
- A rewriting logic approach to operational semantics (Q1012130) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Rewriting semantics of production rule sets (Q1931912) (← links)
- Executable rewriting logic semantics of Orc and formal analysis of Orc programs (Q2348797) (← links)
- Analysis and synthesis of logics. How to cut and paste reasoning systems (Q2469685) (← links)
- Rewriting logic as a framework for generic verification tools (Q2703694) (← links)
- Logical semantics for the rewriting calculus (Q2848049) (← links)
- A rewriting semantics for a software architecture description language (Q2848459) (← links)
- The rewriting logic semantics project (Q2852094) (← links)
- A rewriting logic approach to operational semantics (extended abstract) (Q2871834) (← links)
- A rewriting semantics for ABEL with applications to hardware/software co-design and analysis (Q2873774) (← links)
- Partial order reduction for rewriting semantics of programming languages (Q2873775) (← links)
- A rewrite framework for language definitions and for generation of efficient interpreters (Q2873785) (← links)
- From Rewriting Logic, to Programming Language Semantics, to Program Verification (Q2945730) (← links)
- A Rewriting Logic Approach to Type Inference (Q3184729) (← links)
- An Object-Oriented Component Model for Heterogeneous Nets (Q3603002) (← links)
- How to Tackle Integer Weighted Automata Positivity (Q3646253) (← links)
- (Q4689312) (← links)
- Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors (Q5179127) (← links)
- Memory Representations in Rewriting Logic Semantics Definitions (Q5179135) (← links)
- Algebraic Methodology and Software Technology (Q5312976) (← links)
- Towards an Efficient Implementation of Tree Automata Completion (Q5505416) (← links)
