Pages that link to "Item:Q2715823"
From MaRDI portal
The following pages link to Language Prototyping: An Algebraic Specification Approach (Q2715823):
Displayed 15 items.
- The rewriting logic semantics project: a progress report (Q393080) (← links)
- Tool-assisted specification and verification of typed low-level languages (Q861687) (← links)
- A rewriting logic approach to operational semantics (Q1012130) (← links)
- Polymorphic syntax definition (Q1129122) (← links)
- Generation of abstract programming interfaces from syntax definitions (Q1885931) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Proving operational termination of membership equational programs (Q2271899) (← links)
- A survey of strategies in rule-based program transformation systems (Q2456575) (← links)
- (Q2703695) (← links)
- A Survey of Rewriting Strategies in Program Transformation Systems (Q2841225) (← links)
- (Q2843609) (← links)
- A Rewriting Logic Approach to Operational Semantics (Extended Abstract) (Q2871834) (← links)
- A lightweight approach to datatype-generic rewriting (Q3070774) (← links)
- The Rewriting Logic Semantics Project: A Progress Report (Q3088267) (← links)
- Semi-automatic grammar recovery (Q4791063) (← links)